Funes, Ana Integración de modelos en UML y especificaciones formales : Transformaciones de OCL a RSL - p. 281-285 Standard No.: DIF004403