Computer--aided verification of coordinated processes--an automata theoretic approach (1994)

by R Kurshan