(1)
Hune, T.; Romijn, J.; Stoelinga, M.; Vaandrager, F. Linear Parametric Model Checking of Timed Automata. BRICS 2001, 8.