\begin{thebibliography}{10}
\providecommand{\url}[1]{{#1}}
\providecommand{\urlprefix}{URL }
\expandafter\ifx\csname urlstyle\endcsname\relax
  \providecommand{\doi}[1]{DOI \discretionary{}{}{}#1}\else
  \providecommand{\doi}{DOI \discretionary{}{}{}\begingroup
  \urlstyle{rm}\Url}\fi

\bibitem{MDA}
OMG.
\newblock {MDA} {G}uide version 1.0.1 (2003).
\newblock Object Managment Group

\bibitem{Jackson2006}
D.~Jackson, \emph{Software Abstractions: Logic, Language, and Analysis} (MIT
  Press, 2006)

\bibitem{OCLSpecification}
OMG.
\newblock Object {C}onstraint {L}anguage, {V}ersion 2.2 (2010).
\newblock OMG Document Number: formal/2010-02-01

\bibitem{Anastasakis2008}
K.~Anastasakis, B.~Bordbar, G.~Georg, I.~Ray, Software and Systems Modeling,
  Special Issue on {MoDELS 2007}  (2008)

\bibitem{Anastasakis2009}
K.~Anastasakis, A model driven approach for the automated analysis of uml class
  diagrams.
\newblock Ph.D. thesis, University of Birmingham (2009)

\bibitem{Brucker2008}
A.D. Brucker, B.~Wolff, in \emph{Proceedings of the Theory and practice of
  software, 11th international conference on Fundamental approaches to software
  engineering} (Springer-Verlag, 2008), FASE'08/ETAPS'08, pp. 97--100

\bibitem{Gogolla2005}
M.~Gogolla, J.~Bohling, M.~Richters, Software and Systems Modeling \textbf{4},
  386 (2005)

\bibitem{Demuth2001}
B.~Demuth, H.~Hussmann, S.~Loecher, in \emph{«UML» 2001 — The Unified Modeling
  Language. Modeling Languages, Concepts, and Tools}, \emph{Lecture Notes in
  Computer Science}, vol. 2185, ed. by M.~Gogolla, C.~Kobryn (Springer Berlin /
  Heidelberg, 2001), pp. 104--117

\bibitem{Dresden}
Dresden website http://dresden-ocl.sourceforge.net/index.html

\bibitem{OCL4Java}
OCL4Java website http://www.ocl4java.org

\bibitem{Massoni2005a}
T.~Massoni, R.~Gheyi, P.~Borba, in \emph{19th Brazilian Symposium on Software
  Engineering (SBES), Uberlandia, Brazil} (2005), p. 152–167

\bibitem{Anastasakis2007b}
K.~Anastasakis, B.~Bordbar, G.~Georg, I.~Ray, in \emph{{ACM/IEEE} 10th
  {I}nternational {C}onference on {M}odel {D}riven {E}ngineering {L}anguages
  and {S}ystems}, \emph{LNCS}, vol. 4735 (2007), \emph{LNCS}, vol. 4735, pp.
  436--450

\bibitem{Geri2010}
G.~Georg, K.~Anastasakis, B.~Bordbar, S.H. Houmb, I.R.M. Toahchoodee, IEEE
  Transactions on Software Engineering \textbf{36}(3), 338 (2010)

\bibitem{Mostefaoui2007}
F.~Mostefaoui, J.~Vachon, in \emph{Proceedings of the 10th international
  workshop on Aspect-oriented modeling}, vol. 209 (ACM, 2007), vol. 209, pp.
  41--48

\bibitem{Braga2010}
B.F.B. Braga, J.P.A. Almeida, G.~Guizzardi, A.B. Benevides, Innovations in
  Systems and Software Engineering \textbf{6}(1-2), 55 (2010)

\bibitem{Shah2009}
S.M.A. Shah, K.~Anastasakis, B.~Bordbar, in \emph{Proceedings of the 6th
  International Workshop on Model-Driven Engineering, Verification and
  Validation ({MODEVVA} 09)} (2009)

\bibitem{Near2010}
J.P. Near, D.~Jackson, in \emph{ASM} (2010), pp. 118--131

\bibitem{UMLSuperstructure}
OMG.
\newblock {UML} {S}uperstructure, {V}ersion 2.3 (2010).
\newblock OMG Document Number: formal/2010-05-05

\bibitem{Vaziri00}
M.~Vaziri, A.~Vaziri, D.~Jackson, in \emph{Technology of Object-Oriented
  Languages and Systems (TOOLS 34'00)} (2000)

\bibitem{Baar2003}
T.~Baar, in \emph{In Proceedings, Fifth Andrei Ershov International Conference,
  Perspectives of System Informatics} (Springer, 2003), pp. 358--365

\end{thebibliography}