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.