Research Article

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

Figure 9

The iUML-B state machines of the weak synchronization pattern.
(a) State machine a
(b) State machine r