NASA Formal Methods : 9th International Symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017, Proceedings - Barrett, Clark.; Davies, Misty.; Kahsai, Temesghen. (Springer International Publishing : Imprint: Springer, 2017)