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