Enviar Registro por Correo electrónico: Formal Modeling and Analysis of Timed Systems :