Behrmann, G. (2001) “Minimum-Cost Reachability for Priced Timed Automata”, BRICS Report Series, 8(3). doi: 10.7146/brics.v8i3.20457.