Robert de Simone, Jean-Pierre Talpin, Dumitru Potop-Butucaru: The Synchronous Hypothesis and Synchronous Languages. Embedded Systems Handbook 2005