Implementation of timed automata: An issue of semantics or modeling (2005)

by K Altisen, S Tripakis
Venue:In FORMATS’05, LNCS 3829