published in Proceedings of the First Workshop on the Analysis of Model Transformations - AMT ’12 Journal
presented at event MODELS '12: ACM/IEEE 15th International Conference on Model Driven Engineering Languages and Systems Conference