Proceedings of the First Workshop on the Analysis of Model Transformations - AMT ’12 Journal