Fault-tree analysis for system design, development, modification, and verification | IEEE Journals & Magazine | IEEE Xplore