1. K.H. John and M. Tiegelkamp. 2010. IEC 61131-3: Programming Industrial Automation Systems Concepts and Programming Languages, Requirements for Programming Systems, Decision-Making Aids. Springer-Verlag, Heidelberg, 19--23.
2. L.T. Xiao, et al. 2012. Semantic characterization of programmable logic controller programs. Comm Mathematical and Computer Modelling. ELSEVIER 55(5-6), 1819--1824.
3. A. Milik. 2016. On the systematic method of conditional control program execution by a PLC. Journal of Polish Academy of Sciences. Polish Academy 64 (1), 161--170.
4. L.T. Xiao, et al. 2015. PLC Programs' Checking Method and Strategy Based on Module State Transfer. In Proceeding of International Conference on Information and Automation. IEEE, Lijiang, China, 702--706.
5. M. Wirthlin. 2015. High-Reliability FPGA-Based Systems: Space, High-Energy Physics, and Beyond. In Proceeding of the IEEE. IEEE, 103(3), 379--389.