L. BurgueƱo, M. Wimmer, J. Troya, A. Vallecillo: On the Realization of TractsTool, Vortrag: 2nd Workshop on the Verification of Model Transformation (VOLT) @ STAF 2013, Budapest, Hungary, June 17, 2013. presentation