Deriving Protocol Specifications from Service Specifications in Extended FSM Models. - Teruo Higashino; Kozo Okano; Hiroshi Imajo; Kenichi Taniguchi (ICDCS, 1993)