ZAPATA, C. M.; 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. Revista Ingenierías Universidad de Medellín, v. 7, n. 12, p. 169-191, 11.