Design of safety-critical systems using the complementarities of success and failure domains with a case study. - Rizwan Ahmed; June Mo Koo; Yong Hoon Jeong; Gyunyoung Heo (Reliab. Eng. Syst. Saf., 2011)