Diagnosis of repeated failures for discrete event systems with linear-time temporal logic specifications | IEEE Conference Publication | IEEE Xplore