1. Lee, D., Yiannakakis, M.: Principles and methods of testing finite state machines – a survey. Proceedings of the IEEE 43(3), 1090–1123 (1996)
2. Lecture Notes in Computer Science;G. Kovács,2003
3. Wong, W.E., Restrepo, A., Qi, Y., Choi, B.: An EFSM-based test generation for validation of SDL specifications. In: AST 2008: Proceedings of the 3rd international workshop on Automation of software test, pp. 25–32. ACM, New York (2008)
4. Schmitt, M., Grabowski, J., Hogrefe, D., Koch, B.: Autolink – a tool for the automatic and semi-automatic test generation. In: Wolisz, A., Schieferdecker, I., Rennoch, A. (eds.) Formale Beschreibungstechniken für verteilte Systeme, Nr. 315, GMD-Studien. GMD-Forschungszentrum Informationstechnik GmbH (1997)
5. Tretmans, G., Brinksma, H.: Torx: Automated model-based testing. In: Hartman, A., Dussa-Ziegler, K. (eds.) First European Conference on Model-Driven Software Engineering, pp. 31–43 (2003)