1. Assmann, U., Bézivin, J., Paige, R., Rumpe, B., Schmidt, D. (eds.): Perspectives Workshop: Model Engineering of Complex Systems (MECS). Dagstuhl Seminar Proceedings 08331 (2008)
2. Dania, C., Clavel, M.: OCL2MSFOL: a mapping to many-sorted first-order logic for efficiently checking the satisfiability of OCL constraints. In: International Conference on Model Driven Engineering Languages and Systems, MODELS 2016, pp. 65–75. ACM (2016)
3. Lecture Notes in Computer Science;K-H Doan,2016
4. Gogolla, M.: Experimenting with multi-level models in a two-level modeling tool. In: Atkinson, C., Grossmann, G., Kühne, T., de Lara, J. (eds.) Proceedings of 2nd International Workshop on Multi-Level Modelling (MULTI 2015), vol. 1505, pp. 3–11. CEUR Proceedings (2015).
http://ceur-ws.org/Vol-1505/
5. Gogolla, M., Büttner, F., Richters, M.: USE: a UML-based specification environment for validating UML and OCL. Sci. Comput. Program. 69, 27–34 (2007)