Vitalsource Technologies, Inc. Formal Methods For Open Object-based Distributed Systems V