[Sarikaya82] B. Sarikaya and G.V. Bochmann, Some Experience with Test Sequence Generation for Protocols, Protocol Specification, Testing, and Verification II, C. Sunshine editor, North-Holland Publishing Company, 1982 []