A Time Refinement Framework Based on iUML-B State Machine

Figure 4

The construction of functional state machine.