Synchronous programming of reactive systems (1993)

by N Halbwachs
Venue:In Proc. Special issue on Another Look at Real-time Systems. IEEE Computer