Checking Untimed and Timed Linear Properties of the Interval Timed Colored Petri Net Model