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.
 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.
 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.
 Query, Views, Transformations: A Specification document. http://www.omg.org/technology/documents/modeling spec catalog.htm.
 eXample Data Transfer (XDT) Protocol. http://www.protocol-engineering.tu-cottbus.de/index_xdt.htm