MODELING IMPERFECT COVERAGE IN FAULT-TOLERANT SYSTEMS | IEEE Conference Publication | IEEE Xplore