Lower and upper bounds in zone based abstractions of timed automata (2004)

by G Behrmann, P Bouyer, K G Larsen, R Pelanek
Venue:In Proceedings of TACAS’04, LNCS 2988