Synchronous Programming Of Reactive Systems With Esterel And Synccharts by Luigi Zaffalon