Model Checking Time-Dependent System Specifications using Time Stream Petri Nets and Uppaal