Mezei G, Levendovszky T, Charaf H. Optimization algorithms for OCL constraint evaluation in visual models. Period. Polytech. Elec. Eng. [Internet]. 2007 Jan. 1 [cited 2024 May 5];51(3-4):99-110. Available from: https://pp.bme.hu/ee/article/view/881