1. Cho, S., Koo, K., You, B., Kim, T., Shim, T., Lee, J., 2007. Development of the loader software for PLC programming. In: Proceedings of conference of the institute of electronics engineers of Korea, vol. 30. (in Korean).
2. CODESYS, Industrial IEC 61131-3 PLC Programming, www.codesys.com (2015.10).
3. CODESYS, Static Analysis Data Sheet, http://store.codesys.com/codesys-static-analysis.html?store=en (2015.10)
4. de Mario, S., 2008. Restricting IEC 61131-3 programming languages for use on high integrity applications. In: Emerging Technologies and Factory Automation (ETFA), IEEE International Conference on, 2008. pp. 361–368.
5. Functional safety of electrical/electronic/programmable electronic safety-related systems: Part 3. Software requirements (IEC 61508-3), Tech. rep., International Electrotechnical Commission (IEC), (1997).