Formal methods for open object-based distributed systems 9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007 ; proceedings (Springer, 2007)