A new approach to solve dynamic fault trees | IEEE Conference Publication | IEEE Xplore