Junbeom Yoo Sung Deok Cha Han Seong Son Chang Hwoi Kim Jang-Soo Lee PLC-Based Safety Critical Software Development for Nuclear Power Plants. 155-165 http://dx.doi.org/10.1007/978-3-540-30138-7_14 2004 conf/safecomp/2004 SAFECOMP db/conf/safecomp/safecomp2004.html#YooCSKL04