Patricia Bouyer Nicolas Markey Joël Ouaknine James Worrell On Expressiveness and Complexity in Real-Time Model Checking. 124-135 2008 ICALP (2) http://dx.doi.org/10.1007/978-3-540-70583-3_11 conf/icalp/2008-2 db/conf/icalp/icalp2008-2.html#BouyerMOW08