Linear parametric model checking of timed automata. (2002)

by T Hune, J Romijn, M Stoelinga, F W Vaandrager
Venue:J. Log. Algebr. Program.,