Real-Time Model Checking: Algorithms and Complexity.

James Worrell Real-Time Model Checking: Algorithms and Complexity. 19 2008 TIME http://dx.doi.org/10.1109/TIME.2008.30 conf/time/2008 db/conf/time/time2008.html#Worrell08