1. IEC 61131–3, 2003. Programmable Controllers - Programming Languages.
2. Modular Design and Implementation of a Logic Control System for a Batch Process;Ferrarini;Computers and Chemical Engineering,2003
3. Designing Fault Tolerant Controllers Using SIPN and Model-Checking,2003
4. On the Synthesis of Discrete Controllers for Timed Systems,1995
5. The Control of Discrete Event Systems;Ramadge;Proc. of IEEE,1989