An effective technique for the software requirements analysis of NPP safety-critical systems, based on software inspection, requirements traceability, and formal specification. - Seo Ryong Koo; Poong-Hyun Seong; Junbeom Yoo; Sung Deok Cha; Yeong Jae Yoo (Reliab. Eng. Syst. Saf., 2005)