NASA Formal Methods 8th International Symposium, NFM 2016, Minneapolis, MN, USA, June 7-9, 2016, Proceedings - Rayadurgam, Sanjai; Tkachuk, Oksana (Springer International Publishing : Imprint: Springer, 2016)