Proceedings of the First Workshop on the Analysis of Model Transformations