Enviar Registro por Correo electrónico: Especificación formal de sistemas de información temporalizados /