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