Cariou, E.; Belloir, N.; Barbier, F.; Djemam, N. OCL Contracts for the Verification of Model Transformations. eceasst 2010, 24.