Gravar e-mail: Topen como soporte para la automatización de especificaciones en TTCN-3