Ana Cavalcanti, Dennis Dams: FM 2009: Formal Methods, Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009. Proceedings. Lecture Notes in Computer Science 5850, Springer 2009, ISBN 978-3-642-05088-6