Behrmann, Gerd, m.fl. “Minimum-Cost Reachability for Priced Timed Automata”. BRICS Report Series, bd. 8, nr. 3, januar 2001, doi:10.7146/brics.v8i3.20457.