G. Engels, J. Küster, R. Heckel, and L. Groenewegen. ESEC/FSE-9: Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering, 26, page 186--195. New York, NY, USA, ACM Press, (September 2001)
G. Engels, J. Küster, R. Heckel, and M. Lohmann. Electr. Notes Theor. Comput. Sci., (2003)MR: UML-Modell (On the high level, our system model is composed of use case diagrams and sequence diagrams describing the interaction of the system with users of the system. On the low level, it is composed of class diagrams, statecharts and activity diagrams.) wird durch Grapftransformationen in eine formale Sprache (CSP) überführt und mit einem Model-Checker validiert und in ein Testmodell überführt..