1. Basin, D., Doser, J., Lodderstedt, T.: Model driven security: From UML models to access control infrastructures. ACM Transactions on Software Engineering and Methodology 15(1), 39–91 (2006)
2. Basin, D.A., Clavel, M., Egea, M., García de Dios, M.A., Dania, C.: A model-driven methodology for developing secure data-management applications. IEEE Trans. Software Eng. 40(4), 324–337 (2014)
3. Cabot, J., Clarisó, R., Guerra, E., de Lara, J.: Verification and validation of declarative model-to-model transformations through invariants. Journal of Systems and Software 83(2), 283–302 (2010)
4. Clavel, M., Egea, M., García de Dios, M.A.: Checking unsatisfiability for OCL constraints. Electronic Communications of the EASST 24, 1–13 (2009)
5. Dania, C., Clavel, M.: OCL2FOL+: Coping with Undefinedness. In: Cabot, J., Gogolla, M., Ráth, I., Willink, E. (eds.) CEUR Workshop Proceedings OCL@MoDELS, vol. 1092, pp. 53–62. CEUR-WS.org (2013)