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

by Albert Benveniste, Gerard Berry
Venue:Proceedings of the IEEE