Transformation of Failure Propagation Models into Fault Trees for Safety Evaluation Purposes | IEEE Conference Publication | IEEE Xplore