Component-Based Formal Modeling of PLC Systems

Figure 10

Function call instruction translation rule.