"Optimal Conditional Reachability for Multi-priced Timed Automata."

Kim Guldstrand Larsen, Jacob Illum Rasmussen (2005)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics