Marcello M. Bonsangue Einar Broch Johnsen Formal Methods for Open Object-Based Distributed Systems, 9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings FMOODS Lecture Notes in Computer Science 4468 Springer 2007 978-3-540-72919-8 db/conf/fmoods/fmoods2007.html