C. M. Zapata and G. González, “Especificación formal en OCL de reglas de consistencia entre los diagramas de clases y casos de uso de UML y el modelo de interfaces”, rev.ing.univ.Medellin, vol. 7, no. 12, pp. 169–191, Aug. 2011, Accessed: May 10, 2026. [Online]. Available: https://revistas.udem.edu.co/index.php/ingenierias/article/view/211