Timed automata: Semantics, algorithms and tools (2004)

by J Bengtsson, W Yi
Venue:In Lectures on Concurrency and Petri Nets: Advances in Petri Nets, volume 3098 of LNCS