A Time Refinement Framework Based on iUML-B State Machine

Figure 13

Performing horizontal expansion using iUML-B state machine.