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