The synchronous approach to reactive and real-time systems (1991)

by A Benveniste, G Berry
Venue:Proceedings of the IEEE 79(9):1270–1282