On model checking for real-time properties with durations | IEEE Conference Publication | IEEE Xplore