Zapata CM, González G. 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 [Internet]. 2011 Aug. 17 [cited 2024 Nov. 2];7(12):169-91. Available from: https://revistas.udem.edu.co/index.php/ingenierias/article/view/211