Programmable Logic Controllers (PLCs) are widespread in the control of industrial production system. For the specification and the implementation of PLC programs, the language Sequential Function ...

Programmable logic controllers (PLCs) are embedded computers widely used in industrial control systems. Ensuring that a PLC software complies with its specification is a challenging task. Formal ...