Kim Guldstrand Larsen Gerd Behrmann Ed Brinksma Ansgar Fehnker Thomas Hune Paul Pettersson Judi Romijn As Cheap as Possible: Efficient Cost-Optimal Reachability for Priced Timed Automata. 493-505 2001 conf/cav/2001 CAV http://link.springer.de/link/service/series/0558/bibs/2102/21020493.htm db/conf/cav/cav2001.html#LarsenBBFHPR01