Research Article

Component-Based Formal Modeling of PLC Systems

Figure 11

IL program.
721624.fig.0011