Hune, Thomas S., Judi Romijn, Mariëlle Stoelinga, og Frits W. Vaandrager. “Linear Parametric Model Checking of Timed Automata”. BRICS Report Series 8, no. 5 (januar 5, 2001). Set august 16, 2024. https://tidsskrift.dk/brics/article/view/20459.