Hune, Thomas S., Judi Romijn, Mariëlle Stoelinga, og Frits W. Vaandrager. 2001. “Linear Parametric Model Checking of Timed Automata”. BRICS Report Series 8 (5). https://doi.org/10.7146/brics.v8i5.20459.