A Time Refinement Framework Based on iUML-B State Machine

Figure 21

Time constraint pattern and Duration pattern. (a) Time constraint pattern and (b) Duration pattern.

(a)

(b)