Xavier Blanc Alix Mougenot Isabelle Mounier Tom Mens Incremental Detection of Model Inconsistencies Based on Model Operations. 32-46 2009 CAiSE http://dx.doi.org/10.1007/978-3-642-02144-2_8 conf/caise/2009 db/conf/caise/caise2009.html#BlancMMM09