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.