SyncCharts/Estérel : Un environnement graphique pour la spécification et la programmation d'applications réactives complexes