Title: Synchronous Programming of Reactive Systems with Esterel and SyncCharts