An analysis of safety-critical digital systems for risk-informed design. - Hyun Gook Kang; Taeyong Sung (Reliab. Eng. Syst. Saf., 2002)