Enviar Registro por Correo electrónico: Checking Untimed and Timed Linear Properties of the Interval Timed Colored Petri Net Model