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

Figure 12

The iUML-B state machines of strong-weak synchronization pattern.

(a) State machine a

(b) State machine r

(c) State machine b

(d) State machine s