Abstract Programmable Logic Controllers (PLC) are widely used as device controllers for
assembly lines, chemical processes, or power plants. Sequential Function Charts (SFC) …

Abstract Programmable Logic Controllers (PLC) are widespread in the manufacturing and
processing industries to realize sequential procedures and to avoid safety-critical states. For …

Sequential function charts (SFC) are a high-level graphical programming language for
programmable logic controllers. Their main purpose is to provide a structure and …

Sequential function charts (SFCs for short) is a modeling language defined in the IEC 1131-
3 standard that can be used to drive programmable logic controllers (PLCs). It includes …

Programmable logic controllers (PLCs) occupy a big share in automation control. Their
programming languages are, however, born out of historical needs and do not comply to …

Abstract Programmable Logic Controllers (PLC) are widely used in embedded systems for
the industrial automation domain. We propose a formal semantics of two languages defined …

Abstract The language of Message Sequence Charts (MSC) is a well-established visual
formalism which is typically used to capture scenarios in the early stages of system …

The main obstacles in the formal verification of industrial control systems are the lack of
precise semantics for its programming languages, and the complexity problems which arise …

The growing popularity of sequence charts, first of all Message Sequence Charts and UML
Sequence Diagrams, for the description of communication behavior has evoked criticism …

Programmable Logic Controllers (PLC) and its programming standard IEC 61131-3 are
widely used in embedded systems for the industrial automation domain. We propose a …