Automated Verification of Responsive Protocols Modeled by Extended Finite State Machines. - Yoshiaki Kakuda; Tohru Kikuno; Kenichi Kawashima (Real Time Syst., 1994)