A Time Refinement Framework Based on iUML-B State Machine

Figure 15

The core idea of pacemaker.