Hune, Thomas, Judi Romijn, Mariëlle Stoelinga, and Frits Vaandrager. “Linear Parametric Model Checking of Timed Automata”. BRICS Report Series 8, no. 5 (January 5, 2001). Accessed September 21, 2019. https://tidsskrift.dk/brics/article/view/20459.