Gerd Behrmann Ansgar Fehnker Thomas Hune Kim Guldstrand Larsen Paul Pettersson Judi Romijn Frits W. Vaandrager Minimum-Cost Reachability for Priced Timed Automata. 147-161 2001 conf/hybrid/2001 HSCC http://link.springer.de/link/service/series/0558/bibs/2034/20340147.htm db/conf/hybrid/hscc2001.html#BehrmannFHLPRV01