Clocks as First Class Abstract Types (2003)

by Jean-Louis Colaço, Marc Pouzet
Venue:In Third International Conference on Embedded Software (EMSOFT’03