A Time Refinement Framework Based on iUML-B State Machine

Figure 1

Deadline timed automata pattern.