Fault Trees, Prime Implicants, and Noncoherence | IEEE Journals & Magazine | IEEE Xplore