A Time Refinement Framework Based on iUML-B State Machine

Figure 17

Abstract models URI_LRI and the corresponding timed automata. (a) URI_LRI state machine; (b) URI timed automata.

(a)

(b)