Mezei, G., Levendovszky, T., Charaf, H. “Optimization algorithms for OCL constraint evaluation in visual models”, Periodica Polytechnica Electrical Engineering, 51(3-4), pp. 99–110, 2007. https://doi.org/10.3311/pp.ee.2007-3-4.04