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