NASA Formal Methods 7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings - Havelund, Klaus; Holzmann, Gerard; Joshi, Rajeev (Springer International Publishing : Imprint: Springer, 2015)