Research Article

A Time Refinement Framework Based on iUML-B State Machine

Figure 9

Performing incremental refinement using iUML-B state machine.