The model shows the use of super semantics on a stateflow charts which allows the chart to repeatedly take all possible transaction from the current state to get to a stable configuration