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