A Time Refinement Framework Based on iUML-B State Machine

Figure 12

General method of horizontal expansion.