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