Research Article

A Time Refinement Framework Based on iUML-B State Machine

Figure 14

The principle of pacemaker.