Massood Towhidnejad Li Shen Thomas B. Hilburn Application of Software Fault Tree Analysis to an Airport Ground Control System. 67-71 2008 Software Engineering Research and Practice conf/serp/2008 db/conf/serp/serp2008.html#TowhidnejadSH08