Roldan, M.; Durán, F. Dynamic Validation of OCL Constraints With MOdCL. eceasst 2011, 44.