Research Article

Component-Based Formal Modeling of PLC Systems

Figure 6

BIP component of TON timer.
721624.fig.006