1. Anastasakis, K., Bordbar, B., Georg, G., Ray, I.: On challenges of model transformation from UML to Alloy. Softw. Syst. Model 9(1), 69–86 (2010)
2. Benevides, A.B., Guizzardi, G., Braga, B.F.B., Almeida, J.P.A.: Validating modal aspects of OntoUML conceptual models using automatically generated visual world structures. J. Univers. Comput. Sci. 16, 2904–2933 (2011)
3. Bill, R., Gabmeyer, S., Kaufmann, P., Seidl, M.: OCL meets CTL - towards CTL-extended OCL model checking. In: MoDELS, vol. 1092, pp. 13–22 (2013)
4. Lecture Notes in Computer Science;JC Bradfield,2002
5. Lecture Notes in Computer Science;AD Brucker,2008