Almost ASAP Semantics: From Timed Models to Timed Implementations (2005)

by M DE WULF, L DOYEN, J F RASKIN
Venue:Formal Aspects of Computing