Vitalsource Technologies, Inc. Formal Techniques For Distributed Systems