K.G.: Static guard analysis in timed automata verification. (2003)

by G Behrmann, P Bouyer, E Fleury, Larsen
Venue:Tools and Algorithms for the Construction and Analysis of Systems, LNCS,