A Time Refinement Framework Based on iUML-B State Machine

Figure 20

Third level refined model and the corresponding timed automata. (a) Third level refined state machine; (b) VABP timed automata; (c) VRP timed automata.

(a)

(b)

(c)