Research Article

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

Figure 11

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