Producing Tests for Implementations of OSI Protocols. - Richard J. Linn Jr.; W. H. McCoy (Protocol Specification, Testing, and Verification, 1983)