Hassan Reza, Malvika Pimple, Varun Krishna, Jared Hildle. A Safety Analysis Method Using Fault Tree Analysis and Petri Nets. In Shahram Latifi, editor, Sixth International Conference on Information Technology: New Generations, ITNG 2009, Las Vegas, Nevada, 27-29 April 2009. pages 1089-1094, IEEE Computer Society, 2009. [doi]
Abstract is missing.