M. Amrani, E. Syriani, M. Wimmer (Hrg.): Proceedings of the Fourth International Workshop on Verification of Model Transformations (VOLT), CEUR-Proceedings, 2015, ISSN: 1613-0073, page 53. ceur-ws.org Vol-1530