Veri cation of context-free timed systems using linear hybrid observers (1994)

by A Bouajjani, R Echahed, R Robbana
Venue:CAV 94: Computer-aided Veri cation, Lecture Notes in Computer Science