HUNE, T.; ROMIJN, J.; STOELINGA, M.; VAANDRAGER, F. Linear Parametric Model Checking of Timed Automata. BRICS Report Series, v. 8, n. 5, 5 Jan. 2001.