Formal Methods for Open Object-based Distributed Systems : Volume 2 - Howard Bowman, John Derrick ((IFIP Advances in Information and Communication Technology))