NASA Formal Methods - Badger; Rozier, Kristin Yvonne (Springer International Publishing, 2019)