Cariou, Eric, Nicolas Belloir, Franck Barbier, and Nidal Djemam. 2010. “OCL Contracts for the Verification of Model Transformations”. Electronic Communications of the EASST 24 (January). https://doi.org/10.14279/tuj.eceasst.24.326.