Description and verification of protocol by temporal logic. - Ichiro Koshida; Tadao Saito; Hiroshi Inose (Syst. Comput. Jpn., 1987)