Formal Methods for Open Object-based Distributed Systems : Volume 1 - Elie Najm, Jean-Bernard Stefani ((IFIP Advances in Information and Communication Technology))