Cariou, E. (2010) “OCL contracts for the verification of model transformations”, Electronic Communications of the EASST, 24. doi: 10.14279/tuj.eceasst.24.326.