Ana Cavalcanti Dennis Dams FM 2009: Formal Methods, Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009. Proceedings 5850 2009 http://dx.doi.org/10.1007/978-3-642-05089-3 978-3-642-05088-6 FM Lecture Notes in Computer Science Springer db/conf/fm/fm2009.html