Computer-Aided Verification of Coordinating Processes : The Automata-Theoretic Approach - Robert P. Kurshan (1994)