FM 2009: Formal Methods Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009. Proceedings - Cavalcanti, Ana; Dams, Dennis R. (Springer Berlin Heidelberg, 2009)