Khandelwal, Avijit (2013) Software Reliability Modeling using Fault Tree Analysis and Stochastic Petri Nets. MTech thesis.
