Behrmann, G., A. Fehnker, T. S. Hune, K. G. Larsen, P. Pettersson, J. Romijn, and F. W. Vaandrager. “Minimum-Cost Reachability for Priced Timed Automata”. BRICS Report Series, vol. 8, no. 3, Jan. 2001, doi:10.7146/brics.v8i3.20457.