A Verification Procedure via Invariant for Extended Communicating Finite-State Machines. - Masahiro Higuchi; Osamu Shirakawa; Hiroyuki Seki; Mamoru Fujii; Tadao Kasami (CAV, 1992)