FM 2009: Formal Methods : Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009, Proceedings - Cavalcanti, Ana (Herausgeber); Dams, Dennis (Herausgeber) (Programming and Software Engineering, 2009)