1. Chow, T.S.: Test design modeled by finite-state machines. IEEE Trans. SE 4(3), 178–187 (1978)
2. Lecture Notes in Computer Science;K. El-Fakih,2004
3. Hopcroft, J.E., Ullman, J.D.: Introduction to automata theory, languages, and computation. Addison-Wesley, N.Y (1979)
4. Jard, C., Jéron, T., Tanguy, L., Viho, C.: Remote testing can be as powerful as local testing. In: Proc. of the IFIP Joint Intl. Conf. Formal Description Techniques for Distributed Systems and Communication Protocols and Protocol Specification, Testing and Verification (FORTE XII / PSTV XIX) IFIP Conference Proceedings, Beijing, China, October 5-8, vol. 156, pp. 25–40. Kluwer, Dordrecht (1999)
5. Lima, L.P.: A pragmatic method to generate test sequences for embedded systems, Ph.D. Thesis, Institute National des Telecommunications, Evry, France (1998)