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

Figure 1

iUML-B state machine of Req 1.