Dtsi/SLA/ 29 MDA for Embedded System Development, Brest, France, September 16, 2002 Esterel studio (SyncCharts) Running suspension macro-state simple state initial pseudo-state final state weak abortion strong abortion s / e parallel component suspend normal terminaison / e transition label
{}