A Time Refinement Framework Based on iUML-B State Machine

Figure 5

Composition of functional state machine and ticker state machine.