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