Cariou, E., Belloir, N., Barbier, F., & Djemam, N. (2010). OCL contracts for the verification of model transformations. Electronic Communications of the EASST, 24. https://doi.org/10.14279/tuj.eceasst.24.326