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

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