PLC-Based Safety Critical Software Development for Nuclear Power Plants. - Junbeom Yoo; Sung Deok Cha; Han Seong Son; Chang Hwoi Kim; Jang-Soo Lee (SAFECOMP, 2004)

Synthesis of FBD-based PLC design from NuSCR formal specification. - Junbeom Yoo; Sung Deok Cha; Chang Hwoi Kim; Duck Yong Song (Reliab. Eng. Syst. Saf., 2005)

Study on the systematic approach of Markov modeling for dependability analysis of complex fault-tolerant features with voting logics. - Kwang Seop Son; Dong Hoon Kim; Chang Hwoi Kim; Hyun Gook Kang (Reliab. Eng. Syst. Saf., 2016)