Timed Automata: Semantics, Algorithms and Tools (2004)

by J Bengtsson, W Yi
Venue:In Lectures on Concurrency and Preti Nets. Pp. 87–124