1. Rahim, L.Ab., & Whittle, J. (2015). A survey of approaches for verifying model transformations. Software and Systems Modeling, 14(2), 1003–1028.
2. Anastasakis, K., Bordbar, B., & Küster, J. (2007). Analysis of model transformations via alloy. In Baudry, B., Faivre, A., Ghosh, S., & Pretschner, A. (Eds.) Proceedings of the workshop on model-driven engineering, verification and validation (MoDeVVA 2007), Nashville, TN (USA) (pp. 47–56). Berlin/Heidelberg: Springer.
3. Andova, S., van den Brand, M.G.J., & Engelen, L. (2012). Reusable and correct endogenous model transformations. In ICMT (pp. 72–88).
4. Asztalos, M., Lengyel, L., & Levendovszky, T. (2010). Towards automated, formal verification of model transformations. In ICST 2010: Proceedings of the 3rd international conference on software testing, verification and validation (pp. 15–24). IEEE Computer Society.
5. Barroca, B., & Amaral, V. (2011). Asserting the correctness of translations. In Proceedings of the 6th workshop on multi-paradigm modeling - MODELS 2011. EASST, 10.