TT-Medal
Software Analysis and Transformation

Fokkink, W., Deussen, P. H., Ioustinova, N., Seubers, J., & van de Pol, J. (2005). Towards model-based test generation and validation for TTCN3. TT-Medal.