Safety Verification of Ada95 Programs Using Software Fault Trees. - Sang-Yoon Min; Yoon-Kyu Jan; Sung Deok Cha; Yong Rae Kwon; Doo-Hwan Bae (SAFECOMP, 1999)