Protocol Analysis and Implementation using NPNs and SDL. - Kenneth R. Parker; Rainer A. Berger; Kong E. Cheng (Specification and Verification of Concurrent Systems, 1988)