Jordi Cabot Ernest Teniente Incremental integrity checking of UML/OCL conceptual schemas. 1459-1478 2009 82 Journal of Systems and Software 9 http://dx.doi.org/10.1016/j.jss.2009.03.009 db/journals/jss/jss82.html#CabotT09