A Time Refinement Framework Based on iUML-B State Machine

Figure 7

Time refinement framework based on functional state machine and ticker state machine.