M. Amrani, E. Syriani, M. Wimmer (Hrg.): Proceedings of the Third International Workshop on Verification of Model Transformations (VOLT), CEUR-Proceedings, Sun SITE Central Europe, CEUR-WS.org, Aachen, 2015, ISSN: 1613-0073, page 55. ceur-ws.org Vol-1325