Integrated Formal Methods : 7th International Conference, IFM 2009, Düsseldorf, Germany, February 16-19, 2009, Proceedings - Michael Leuschel, Heike Wehrheim ((Lecture Notes in Computer Science))