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