1. Formal methods in PLC programming;Frey,2000
2. PLC-based safety critical software development for nuclear power plants;Yoo,2004
3. Introducing object oriented methods to PLC software design;Davidson,1998
4. Standard Batch Control. Part 1. Models and Terminology;ISA (ANSI/ISA-S88.01.1995),1995
5. Programming Industrial Control Systems Using IEC 1131-3;Lewis,1998