Roldan, M., & Durán, F. (2011). Dynamic Validation of OCL Constraints with mOdCL. Electronic Communications of the EASST, 44. https://doi.org/10.14279/tuj.eceasst.44.625