[Sabnani85] K. K. Sabnani and A. Dahbura, A New Technique for Generating Protocol Tests, Computer Communications Review, (also appearing in Proceedings of the Ninth Data Communication Symposium Sept 1985) pp10-13, 1985, 36-43,15, 4, Dec. []