Component-Based Formal Modeling of PLC Systems

Figure 2

BIP model of cyclical scheduler.