The synchronous approach to reactive and real-time systems.

Tue, 01 Jan 1991 00:00:00 +0100

Albert Benveniste, Gerard Berry:
The synchronous approach to reactive and real-time systems. Proc. IEEE 79(9): 1270-1282 (1991)