O. Contant, S. Lafortune, and D. Teneketzis, Diagnosis of intermittent faults. Discrete Event Dynamic Systems, pp.171-202, 2004.

T. Jéron, H. Marchand, S. Pinchinat, and M. Cordier, Supervision Patterns in Discrete Event Systems Diagnosis, 2006 8th International Workshop on Discrete Event Systems, pp.262-268, 2006.
DOI : 10.1109/WODES.2006.1678440

S. Jiang, Z. Huang, V. Chandra, and R. Kumar, A polynomial time algorithm for diagnosability of discrete event systems, IEEE Transactions on Automatic Control, issue.8, pp.461318-1321, 2001.

S. Jiang, R. Kumar, and H. E. Garcia, Diagnosis of repeated/intermittent failures in discrete event systems, IEEE Transactions on Robotics and Automation, vol.19, issue.2, pp.310-323, 2003.
DOI : 10.1109/TRA.2003.809590

D. Kozen, Lower bounds for natural proof systems, 18th Annual Symposium on Foundations of Computer Science (sfcs 1977), pp.254-266, 1977.
DOI : 10.1109/SFCS.1977.16

M. Sampath, R. Sengupta, S. Lafortune, K. Sinnamohideen, and D. Teneketzis, Failure diagnosis using discrete-event models, IEEE Transactions on Control Systems Technology, vol.4, issue.2, pp.105-124, 1996.
DOI : 10.1109/87.486338