[1. George, C. (2008), “RAISE Tool User Guide”, available at: http://www.iist.unu.edu/newrh/III/3/1/docs/rsltc/user_guide/html/ug.html (12 September 2012).]Search in Google Scholar
[2. Haxthausen, A. (2010), Lecture notes, 02263 Formal Aspects of Software Engineering, available at http://www2.imm.dtu.dk/courses/02263/F14/index/ / (10 September 2012)]Search in Google Scholar
[3. Holzmann, G. J. (2003), The Spin Model Checker: Primer and Reference Manual, Boston: Addison-Wesley.]Search in Google Scholar
[4. Knapp, A. (2008), ”Hugo/RT”, available at: http://www.pst.ifi.lmu.de/projekte/hugo / (12 September 2012).]Search in Google Scholar
[5. Meenakshi, B. (2004), A tutorial on SPIN, Bangalore: Honeywell Technology Solutions Lab.]Search in Google Scholar
[6. MODUS (2013a), Deliverable D2.1 “State-of-the-art review and identification of technological requirements”, Internal documentation.]Search in Google Scholar
[7. MODUS (2013b), Deliverable D2.2 “MODUS functional and technical specifications”, Internal documentation.]Search in Google Scholar
[8. MODUS (2013c), Deliverable D3.1 “Methodological framework for LNR-based model transformation and code generation”, Internal documentation.]Search in Google Scholar
[9. MODUS (2013d), Deliverable D3.2 “LNR-based model transformation and code generation modules”, Internal documentation.]Search in Google Scholar
[10. Schäfer, T., Knapp, A., Merz, S. (2001), “Model Checking UML State Machines and Collaborations”, Electronic Notes in Theoretical Computer Science, Vol. 55, No. 3, pp. 357-369.10.1016/S1571-0661(04)00262-2]Search in Google Scholar