Christel Baier Nathalie Bertrand Patricia Bouyer Thomas Brihaye Marcus Größer Almost-Sure Model Checking of Infinite Paths in One-Clock Timed Automata. 217-226 2008 LICS http://doi.ieeecomputersociety.org/10.1109/LICS.2008.25 conf/lics/2008 db/conf/lics/lics2008.html#BaierBBBG08