A Time Refinement Framework Based on iUML-B State Machine

Figure 19

Second level refined models and the corresponding timed automata. (a) Second level refined state machine; (b) AVI timed automata.

(a)

(b)