A Time Refinement Framework Based on iUML-B State Machine

Figure 18

First level refined model and the corresponding timed automata. (a) First level refined state machine; (b) VAI timed automata.

(a)

(b)