Behrmann, Gerd, Ansgar Fehnker, Thomas S. Hune, Kim G. Larsen, Paul Pettersson, Judi Romijn, and Frits W. Vaandrager. “Minimum-Cost Reachability for Priced Timed Automata”. BRICS Report Series 8, no. 3 (January 3, 2001). Accessed March 28, 2024. https://tidsskrift.dk/brics/article/view/20457.