A Time Refinement Framework Based on iUML-B State Machine

Figure 11

Performing decomposition refinement using iUML-B state machine.