FM 2012: Formal Methods 18th International Symposium, Paris, France, August 27-31, 2012. Proceedings - Giannakopoulou, Dimitra; Méry, Dominique (Springer Berlin Heidelberg : Imprint: Springer, 2012)