1. Blackburn, M., Busser, R., Nauman, A.: Why model-based test automation is different and what you should know to get started. In: International Conference on Practical Software Quality and Testing (2004),
http://www.psqtconference.com/2004east/program.php
2. Lecture Notes in Computer Science;A. Belinfante,2005
3. Lecture Notes in Computer Science;M. Broy,2005
4. Lecture Notes in Computer Science;A. Brucker,2005
5. Dijkstra, E.W.: On the reliability of mechanisms. In: Notes On Structured Programming, EWD249 (1970),
http://www.cs.utexas.edu/users/EWD/ewd02xx/EWD249.PDF