Author: IFIP TC6/WG6.1 International Symposium on Protocol Specification, Testing and Verification. (12th 1992 Lake Buena Vista, Fla.)