[1]
T. Hune, J. Romijn, M. Stoelinga, and F. Vaandrager, “Linear Parametric Model Checking of Timed Automata”, BRICS, vol. 8, no. 5, Jan. 2001.