Verification and synthesis for failure diagnosis of discrete event systems subject to permanent sensor failures | IEEE Conference Publication | IEEE Xplore