Computer-aided verification of coordinating processes : automata-theoretic approach /
Kurshan, R. P.,1943-
Princeton, N.J. ; Chichester : Princeton University Press,
c1995.