1. Alemán, J., Toval, A., Hoyos, J.: Rigorously transforming UML class diagrams. In: Proc. 5th Workshop Models, Environments and Tools for Requirements Engineering (MENHIR), Universidad de Granada, Spain (2000)
2. Baader, F., McGuinness, D., Nardi, D., Patel-Schneider, P.: The Description Logic Handbook: Theory, Implementation and Applications. Cambridge University Press, Cambridge (2003)
3. Bëzivin, J., Ploquin, N.: Tooling the MDA framework: a new software maintenance and evolution scheme proposal. Journal of Object-Oriented Programming, JOOP (2001)
4. Bodeveix, J.-P., Millan, T., Percebois, C., Camus, C.L., Bazes, P., Ferraud, L.: Extending OCL for verifying UML model consistency. In: Kuzniarz, L., Reggio, G., Sourrouille, J., Huzar, Z. (eds.) Consistency Problems in UML-based Software Development, Workshop UML 2002, Technical Report (2002)
5. Calí, A., Calvanese, D., De Giacomo, G., Lenzerini, M.: Reasoning on UML class diagrams in description logics. In: Proc. of IJCAR Workshop on Precise Modelling and Deduction for Object-oriented Software Development, PMD 2001 (2001)