Fault-tree analysis: a knowledge-engineering approach | IEEE Journals & Magazine | IEEE Xplore