A Time Refinement Framework Based on iUML-B State Machine

Figure 10

General method of decomposition refinement.