A Semi-Automated Verification Method for Communication Protocols Modeled as 2-ECSFMs. - Masahiro Higuchi; Junko Sano; Keigo Hara; Mamoru Fujii (ICDCS, 1996)