Behrmann, G., Fehnker, A., Hune, T. S., Larsen, K. G., Pettersson, P., Romijn, J., & Vaandrager, F. W. (2001). Minimum-Cost Reachability for Priced Timed Automata. BRICS Report Series, 8(3). https://doi.org/10.7146/brics.v8i3.20457