A Time Refinement Framework Based on iUML-B State Machine

Figure 2

Sequence timed automata pattern.