programs P1 and P [...] in the program P1 20 times. T1 halts in the program

down the evaluated program. When a [...] control [...] times of programs

down the evaluated program. When a [...] control [...] on the controller is measured

down the evaluated program [...] is defined to control POU [...] to the standard controller

down the evaluated program. When a [...] control [...] on the controller and therefore

down the evaluated program. When a [...] control