Linear parametric model checking of timed automata (2002)

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