FM 2009: Formal Methods : Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009, Proceedings - Ana Cavalcanti, Dennis R. Dams ((Lecture Notes in Computer Science))