Zapata, C. M., & González, G. (2011). 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. Revista Ingenierías Universidad De Medellín, 7(12), 169–191. Retrieved from https://revistas.udem.edu.co/index.php/ingenierias/article/view/211