NASA Formal Methods Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011. Proceedings - Bobaru, Mihaela; Havelund, Klaus; Holzmann, Gerard J.; Joshi, Rajeev (Springer Berlin Heidelberg : Imprint: Springer, 2011)