control logic tool used to model reactive systems via state machines and flow charts within a Simulink model