Behrmann, Gerd, Ansgar Fehnker, Thomas S. Hune, Kim G. Larsen, Paul Pettersson, Judi Romijn, and Frits W. Vaandrager. 2001. “Minimum-Cost Reachability for Priced Timed Automata”. BRICS Report Series 8 (3). https://doi.org/10.7146/brics.v8i3.20457.