[1] C. Werner, “UML profile for communicating systems,” Ph.D thesis, University of Gottingen, Department of Computer Science, 2006.
[2] Unified Modeling Language, The official homepage of UML, Object Management Group.
[3] Model Driven Architecture: A Technical Perspective, Architecture Board MDA Drafting Team, Document
[5] G. J. Holzmann, “The model checker SPIN,” IEEE Transactions on Software Engineering, 23 (1997) 5: pp. 279–295, 1997.
[6] M. Farid, G. Patrice, and B. Mourad, “Verifying UML diagrams with model checking: A rewriting logic based approach,” Seventh International Conference on Quality Software (QSIC 2007), pp. 356–362, 2007.
[7] S. Wuwei, C. Kevinon, and H. James, “A toolset for supporting UML static and dynamic model checking,” 26th Annual International Computer Software and Applications Conference, 2002.
[8] B. Prasanta, “Automated translation of UML models of architectures for verification and simulation using SPIN.,” 14th IEEE International Conference on Automated Software Engineering (ASE’99), pp. 102–109, 1999.
[9] S. W. Vitus and J. Padget, “Symbolic Model Checking of UML Statechart Diagrams with an Integrated Approach,” 11th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems (ECBS’04), pp. 337–346, 2004.
[10] A. Kleppe, J. Warmer, and W. Bast, “MDA Explained—The Model Driven Architecture: Practice and Promise,” Addison-Wesley, 2003.
[11] Query, Views, Transformations: A Specification document. http://www.omg.org/technology/documents/modeling spec catalog.htm.
[12] eXample Data Transfer (XDT) Protocol. http://www.protocol-engineering.tu-cottbus.de/index_xdt.htm
[13] E. M. Clarke, O. Grumberg, and D. Peled, “Model checking,” MIT Press, 1999.