Formal Methods for Open Object-Based Distributed Systems, Volume 1 by