G. Mezei, T. Levendovszky, and H. Charaf, “Optimization algorithms for OCL constraint evaluation in visual models”, Period. Polytech. Elec. Eng., vol. 51, no. 3-4, pp. 99–110, Jan. 2007.