1. Bochmann, G.V., Petrenko, A.: Protocol testing: review of methods and relevance for software testing. In: ISSTA 1994: Proceedings of the 1994 ACM SIGSOFT international symposium on Software testing and analysis, pp. 109–124. ACM Press, New York (1994)
2. Linn, R.J., Uyar, M. (eds.): Conformance testing methodologies and architectures for OSI protocols. IEEE Computer Society Press, Los Alamitos (1995)
3. Lee, D., Yiannakakis, M.: Principles and methods of testing finite state machines – a survey. Proceedings of the IEEE 84(8), 1090–1123 (1996)
4. Duale, A.Y., Uyar, M.: A method enabling feasible conformance test sequence generation for efsm models. IEEE Trans. Comput. 53(5), 614–627 (2004)
5. Brand, D., Martin, A., Zafiropulo, P.: On communicating finite state machines. Journal of Associating Computing Machinery, JACM 30(2) (1983)