Esterel Technologies

Esterel SCADE enables the design of complete and unambiguous systems.