1. W. Brauer. Automatentheorie: eine Einführung in die Technik endlicher Automaten. Teubner, 1984.
2. M. Broy. The Specification of System Components by State Transition Diagrams. TUM-I 9729, Technische Universität München, 1997.
3. M. Broy. Pragmatic and Formal Specification of System properties by Tables. TUM-I 9802, Technische Universität München, 1998.
4. M. Broy and K. Stoelen. Specification and Development of Interactive Systems. Focus on Streams, Interfaces and Refinement. Springer Verlag Heidelberg,2001.
5. C. Crichton, A. Cavarra, and J. Davies. Using UML for Automated Test Generation. http://www.agedis.de/ , 2001.