1. IEC 61131, Part 3, 1993. International standard for programmable logic controllers: programming languages. International Electrotechnical Commission.
2. IEEE Std 1228, 1994. IEEE standard for software safety plan.
3. Park, G.Y., Kwon, K.C., 2007. Formal V&V activities on software for digital reactor protection system. In: Enlarged Halden Programme Group Meeting, Storefjell Resort Hotel, Norway.
4. Park, J.H., Lee, D.Y., Kim, C.H., 2005. Development of KNICS RPS prototype. In: Proceedings of ISOFIC (International Symposium on the Future I&C for NPPs) 2005, Session 6, Tongyeong, Korea.
5. Park, G.Y., Lee, J.S., Cheon, S.W., Kwon, K.C., Jee, E., Koh, K.Y., 2007. Safety analysis of safety-critical software for nuclear digital protection system. LNCS(Lecture Notes in Computer Science) vol. 4680, pp. 148–161.