Research Article

Modelling the Embedded Control System Using iUML-B Pattern State Machine

Figure 4

Strong synchronization requirement.