@article {IOPORT.50005800,
    author       = {Rold\'an, Manuel and Dur\'an, Francisco},
    title        = {Dynamic validation of OCL constraints with modcl},
    year         = {2011},
    journal      = {ECEASST},
    volume       = {44},
    identifier   = {50005800},
}