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