Jordi Cabot Robert Clarisó Esther Guerra Juan de Lara An Invariant-Based Method for the Analysis of Declarative Model-to-Model Transformations. 37-52 2008 MoDELS http://dx.doi.org/10.1007/978-3-540-87875-9_3 conf/models/2008 db/conf/models/models2008.html#CabotCGL08