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

Figure 7

Strong-weak synchronization requirement.

(a)

(b)