1. Lecture Notes in Computer Science;Nachmanson,2005
2. Fredriksson H http://www.modprod.liu.se/workshop_2009/1.46631/s5-tutorial-fredriksson.pdf 2011
3. Robinson H Obstacles and opportunities for model-based testing in an industrial software environment 118 127
4. Hartman A http://www.agedis.de/documents/FinalPublicReport%28D1.6%29.PDF 2011