Linear parametric model checking of timed automata (2001)

by T Hune, J Romijn, M Stoelinga, F W Vaandrager
Venue:In Tools and Algorithms for Construction and Analysis of Systems