M. Roldan and F. Durán, “Dynamic Validation of OCL Constraints with mOdCL”, ECEASST, vol. 44, Sep. 2011.