Journal of Control Science and Engineering

Research Article

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

Figure 5

Weak synchronization requirement.
(a)
(b)