Timed Reachability Analysis Method for EFSM-based Communication Protocols and Its Experimental Evaluation. - Shin'ichi Nagano; Yoshinori Hatakeyama; Yoshiaki Kakuda; Tohru Kikuno (ICNP, 1996)