However, because the modeling environment of Simulink is a mixed and heterogeneous one as the combinations of discrete semantics, continuous semantics, etc. Usually it is not very easy to understand a Simulink model. A better way to represent a Simulink model may be necessary. One possible method is to separate the model into sub-models which have relatively simpler, well-defined semantics. Wit...