NASA Formal Methods - Julia M. Badger, Kristin Yvonne Rozier (Springer, 2019)