E. Cariou, N. Belloir, F. Barbier, and N. Djemam, “OCL contracts for the verification of model transformations”, ECEASST, vol. 24, Jan. 2010.