Integrated Formal Methods 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings - Derrick, John; Gnesi, Stefania; Latella, Diego; Treharne, Helen (Springer Berlin Heidelberg, 2012)