Timed automata: Semantics, algorithms and tools (2004)

by Johan Bengston, Wang Yi
Venue:Lecture Notes on Concurrency and Petri Nets, LNCS