L. BurgueƱo, M. Wimmer, J. Troya, A. Vallecillo: TractsTool: Testing MTs based on Contracts, Poster: Satellite Events of MODELS 2013, Miami, US, October 2nd 2013, Proceedings of Satellite Events of MODELS 2013, CEUR, (2013), pages 1 - 6 models2013.lcc.uma.es/posters