Linear parametric model checking of timed automata (2001)

by Thomas S Hune, Judi Romijn, Mariëlle Stoelinga, Frits W Vaandrager