Three types of fault coverage in multi-state systems | IEEE Conference Publication | IEEE Xplore