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

Figure 16

Instance state machines of Sub5 and Sub7.

(a) State machine motor_actuator

(b) State machine motor_sensor

(c) State machine clutch_actuator

(d) State machine clutch_sensor