A Safety Analysis Method Using Fault Tree Analysis and Petri Nets. - Hassan Reza; Malvika Pimple; Varun Krishna; Jared Hildle (ITNG, 2009)