1. ABB (2001). Product guide: Advant controller 160, ver. 1.3.
2. Cha, K., Kim, J., Lee, J., Cheon, S., and Kwon, K. (2006). Software qualification of a programmable logic controller for nuclear instrument and control applications. In Proceedings of the 6th WSEAS International Conference on Applied Informatics and Communications, 353–358. WSEAS.
3. Detection, isolation, and identification of sensor faults in nuclear power plants;Dorr;IEEE Trans. Control Syst. Technol.,1996
4. Reliability of various 2-out-of-4:g redundant systems with minimal repair;Dwyer;IEEE Trans. Rel.,2012
5. IEEE Std. 7.4.3.2: Standard Criteria for Digital Computers in Safety Systems of Nuclear Power Generating Stations,1994