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