C. M. Zapata y 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, n.º 12, pp. 169–191, ago. 2011, Accedido: 12 de julio de 2026. [En línea]. Disponible en: https://revistas.udem.edu.co/index.php/ingenierias/article/view/211