NASA Formal Methods 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings - Brat, Guillaume; Rungta, Neha; Venet, Arnaud (Springer Berlin Heidelberg : Imprint: Springer, 2013)