Leuschel, Michael, and Heike Wehrheim, eds. Integrated Formal Methods, 7th International Conference, IFM 2009, D\'22usseldorf, Germany, February 16-19, 2009. Proceedings. Lecture Notes in Computer Science, 2009.https://doi.org/10.1007/978-3-642-00255-7 .