Formal Methods for Open Object-Based Distributed Systems 7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005. Proceedings - Steffen, Martin; Zavattaro, Gianluigi (Springer Berlin Heidelberg : Imprint: Springer, 2005)