"Model-Checking One-Clock Priced Timed Automata."

Patricia Bouyer, Kim Guldstrand Larsen, Nicolas Markey (2007)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics