References
- 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).
- 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)
- 3. Holzmann, G. J. (2003), The Spin Model Checker: Primer and Reference Manual, Boston: Addison-Wesley.
- 4. Knapp, A. (2008), ”Hugo/RT”, available at: http://www.pst.ifi.lmu.de/projekte/hugo / (12 September 2012).
- 5. Meenakshi, B. (2004), A tutorial on SPIN, Bangalore: Honeywell Technology Solutions Lab.
- 6. MODUS (2013a), Deliverable D2.1 “State-of-the-art review and identification of technological requirements”, Internal documentation.
- 7. MODUS (2013b), Deliverable D2.2 “MODUS functional and technical specifications”, Internal documentation.
- 8. MODUS (2013c), Deliverable D3.1 “Methodological framework for LNR-based model transformation and code generation”, Internal documentation.
- 9. MODUS (2013d), Deliverable D3.2 “LNR-based model transformation and code generation modules”, Internal documentation.
- 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