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