1. ITU-T. Recommendation Z.100 (08/02), Specification and Description Language (SDL). International Telecommunication Union, Geneva.
2. R.L. Probert, F. Guo. Mutation Testing of Protocols: Principles and Preliminary Experimental Results. Proc. Protocol Test Systems, III., pages 57–76, 1991.
3. C.-J. Wang and M.T. Liu. Generating Test Cases for EFSM with Given Fault Model. INFOCOM 93, volume 2, pages 774–781, 1993.
4. S.C. P. F. Fabbri, J. C. Maldonado, M. E. Delamaro, P.C. Masiero Mutation Analysis Testing for Finite State Machine. Proc. ISSRE’94-Fifth International Symposium on Software Reliability Engineering, pages 220–229, California, USA, 1994.
5. D. Lee, M. Yiannakakis. Principles and Methods of Testing Finite State Machines-A Survey. Proc. of the IEEE, 43(3):1090–1123, 1996.