Cariou E, Belloir N, Barbier F, Djemam N. OCL contracts for the verification of model transformations. ECEASST [Internet]. 2010 Jan. 24 [cited 2025 Aug. 13];24. Available from: https://www.eceasst.org/index.php/eceasst/article/view/1620