1. Avila, C., Sarcar, A., Cheon, Y., Yeep, C.: Runtime constraint checking approaches for OCL. a critical comparison. In: SEKE (2010)
2. Baresi, L., Young, M.: Toward translating design constraints to run-time assertions. Electr. Notes Theor. Comput. Sci. 116, 73–84 (2005)
3. Cosentino, V., Martínez, S.: Extracting UML/OCL integrity constraints and derived types from relational databases. In: MoDELS International Workshops (2013)
4. EssentialOCL. http://help.eclipse.org/juno/index.jsp?topic=%2Forg.eclipse.ocl.doc%2Fhelp%2FEssentialOCL.html . Accessed 04 Apr 2016
5. Communications in Computer and Information Science;A Hamie,2015