1. Huima, A.: Implementing conformiq qtronic. In: Testing of Software and Communicating Systems, pp. 1–12. Springer (2007)
2. Friske, M., Schlingloff, B.-H.: Abdeckungskriterien in der modellbasierten Testfallgenerierung: Stand der Technik und Perspektiven. In: Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme II, pp. 27–34 (2006)
3. Thiel, S., Zitterell, D.: EXtended Automation Method (EXAM) zur automatisierten Funktionserprobung von Steuergeräten in der Automobilindustrie. In: GI Jahrestagung (2), pp. 625–630 (2008)
4. Heimdahl, M.P.E., Rayadurgam, S., Visser, W., Devaraj, G., Gao, J.: Auto-generating test sequences using model checkers: a case study. In: 3rd International Workshop on Formal Approaches to Testing of Software (FATES 2003) (2003)
5. Bošnački, D., Edelkamp, S.: Model checking software: on some new waves and some evergreens. Int. J. Softw. Tools Technol. Transf. 12, 89–95 (2010)