2 ms·Look into Esterel for some theoretical grounding. It will help you reason about reactive systems.by mahmud 16y agoLook into Esterel for some theoretical grounding. It will help you reason about reactive systems.