Failure diagnosis of discrete event systems with linear-time temporal logic fault specifications | IEEE Conference Publication | IEEE Xplore