Hune, T., Romijn, J., Stoelinga, M., & Vaandrager, F. (2001). Linear Parametric Model Checking of Timed Automata. BRICS Report Series, 8(5). https://doi.org/10.7146/brics.v8i5.20459