NASA Formal Methods 4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012. Proceedings - Goodloe, Alwyn E.; Person, Suzette (Springer Berlin Heidelberg, 2012)