Research Article

Component-Based Formal Modeling of PLC Systems

Figure 12

Program model.
721624.fig.0012