A Time Refinement Framework Based on iUML-B State Machine

Figure 6

Details of functional state machine and clock state machine.