Mezei, Gergely, Tihamér Levendovszky, and Hassan Charaf. 2007. “Optimization Algorithms for OCL Constraint Evaluation in Visual Models”. Periodica Polytechnica Electrical Engineering 51 (3-4):99-110. https://doi.org/10.3311/pp.ee.2007-3-4.04.