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

by K Altisen, S Tripakis
Venue:In Formal Modeling and Analysis of Timed Systems (FORMATS’05