Protocol Analysis and Implementation using NPNs and SDL.

Published in: Specification and Verification of Concurrent Systems (1988)