The synchronous approach to reactive and real-time systems. - Albert Benveniste; Gerard Berry (Proc. IEEE, 1991)