Enhancing Software Safety by Fault Trees: Experiences from an Application to Flight Critical SW. - Wolfgang Weber; Heidemarie Tondok; Michael Bachmayer (SAFECOMP, 2003)

Enhancing software safety by fault trees: experiences from an application to flight critical software. - Wolfgang Weber; Heidemarie Tondok; Michael Bachmayer (Reliab. Eng. Syst. Saf., 2005)