Vitalsource Technologies, Inc. Formal Techniques For Networked And Distributed Systems - Forte 2002