OCL contracts for the verification of model transformations. - Eric Cariou; Nicolas Belloir; Franck Barbier; Nidal Djemam (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2009)