To program synchronous reactive systems made by merging 3 existing synchronous languages Lustre Esterel Argos by uniform translation rules to a common intermediate format called Boolean automata

Visit website