Combining dynamic fault trees and event trees for probabilistic risk assessment | IEEE Conference Publication | IEEE Xplore