A separable method for incorporating imperfect fault-coverage into combinatorial models | IEEE Journals & Magazine | IEEE Xplore