NASA Formal Methods - Sanjai Rayadurgam, Oksana Tkachuk; Tkachuk, Oksana (Springer International Publishing, 2016)