Parosh Aziz Abdulla Joël Ouaknine Karin Quaas James Worrell Zone-Based Universality Analysis for Single-Clock Timed Automata. 98-112 2007 conf/fsen/2007 FSEN http://dx.doi.org/10.1007/978-3-540-75698-9_7 db/conf/fsen/fsen2007.html#AbdullaOQW07