Software safety analysis of function block diagrams using fault trees. - Younju Oh; Junbeom Yoo; Sung Deok Cha; Han Seong Son (Reliab. Eng. Syst. Saf., 2005)