G. Mezei, T. Levendovszky, and H. Charaf, “Restrictions For OCL Constraint Optimization Algorithms”, ECEASST, vol. 5, Jul. 2007.