Research Article

A Time Refinement Framework Based on iUML-B State Machine

Figure 23

Timing Interval method.