Research Article

Component-Based Formal Modeling of PLC Systems

Figure 3

BIP model of interrupt scheduler.
721624.fig.003