Modeling and Verifying Real-Time Properties of Reactive Systems | IEEE Conference Publication | IEEE Xplore