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

by M De Wulf, L Doyen, J-F Raskin
Venue:In Proc. of Hybrid Systems: Computation and Control (HSCC'04), volume 2993 of LNCS