Almost asap semantics: From timed models to timed implementations (2004)

by Martin De Wulf, Laurent Doyen, Jean-François Raskin
Venue:In HSCC