@unpublished{TUW-218770, author = {Burgue{\~n}o, Loli and Wimmer, Manuel and Troya, Javier and Vallecillo, Antonio}, title = {On the Realization of TractsTool}, year = {2013}, note = {Vortrag: 2nd Workshop on the Verification of Model Transformation (VOLT) @ STAF 2013, Budapest, Hungary; 2013-06-17} }