This package contains the implementation of the Stateflow part of a Simulink model.