Integrated Formal Methods 7th International Conference, IFM 2009, Düsseldorf, Germany, February 16-19, 2009. Proceedings - Leuschel, Michael; Wehrheim, Heike (Springer Berlin Heidelberg : Imprint: Springer, 2009)