NASA Formal Methods - Julia M. Badger, Kristin Yvonne Rozier; Kittler, Josef; Rozier, Kristin Yvonne (Springer International Publishing, 2014)