Behrmann G, Fehnker A, Hune TS, Larsen KG, Pettersson P, Romijn J, m.fl. Minimum-Cost Reachability for Priced Timed Automata. BRICS [Internet]. 3. januar 2001 [henvist 5. december 2025];8(3). Tilgængelig hos: https://tidsskrift.dk/brics/article/view/20457