Research Article

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

Figure 6

Strong-strong synchronization requirement.