State machines and assertions an integrated approach to modeling and verification of distributed systems - Joseph, Thomas A.; Räuchle, Thomas; Toueg, Sam (Cornell University <Ithaca, NY>, 1984)