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. In TT-Medal (D.1.2-1).