Formal Verification of DEV&DESS Formalism Using Symbolic Model Checker HyTech. - Han Choi; Sung Deok Cha; Jae Yeon Jo; Junbeom Yoo; Hae Young Lee; Wontae Kim 001 (FGIT-CA/CES3, 2011)

A Domain-Specific Safety Analysis for Digital Nuclear Plant Protection Systems. - Sanghyun Yoon; Jae Yeon Jo; Junbeom Yoo (SSIRI (Companion), 2011)