Ebook Fm 2012: Formal Methods: 18Th International Symposium, Paris, France, August 27 31, 2012. Proceedings