An Invariant-Based Method for the Analysis of Declarative Model-to-Model Transformations | Publicación