Research Article

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

Figure 10

LTS model of weak synchronization pattern.