Journal of Control Science and Engineering

Research Article

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

Figure 17

Statistics of Press model generated by iUML-B state machine.