(1)
Roldan, M.; Durán, F. Dynamic Validation of OCL Constraints With MOdCL.
ECEASST
2011
,
44
.