GUERRA, E.; DE, J.; CLARISÓ, R.; CABOT, J.
(2008).
"
An Invariant-Based Method for the Analysis of Declarative Model-to-Model Transformations
".
Proceedings ACM/IEEE 11th International Conference on Model Driven Engineering Languages and Systems (MODELS'2008) .
Pàg.
37-
52.