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

by A Benveniste, G Berry
Venue:Proceedings of the IEEE