Constraint satisfaction as a basis for designing nonmasking fault-tolerance | IEEE Conference Publication | IEEE Xplore