Minimal Fault Tests for Redundant Combinational Networks | IEEE Journals & Magazine | IEEE Xplore