. Arnold, The ALTARICA formalism for describing concurrent systems, Fundam. Inf, vol.40, pp.109-124, 1999.

). R. Bryant, Graph-based algorithms for boolean function manipulationConsole and Dressier, 1999) L. Console and O. Dressier. Model-based diagnosis in the real world: lessons learned and challenges remaining, Proceedings of the 16th international joint conference on Artificial intelligence, pp.677-691, 1986.

. Faure, An interval model-based approach for optimal diagnosis tree generation, 10th International Workshop on Principles of Diagnosis (DX'99), pp.78-89, 1999.

. Griffault, Available on http, AltaRica Checker Handbook. LaBRI, 2010.

. Griffault, ALTARICA models and algorithms for diagnosis, 2011.

. Hélouët, Diagnosis from scenarios System fault diagnostics using fault tree analysis, proc. of the 8th Int. Workshop on Discrete Events Systems, WODES'06 Proceedings of the Institution of Mechanical Engineers Part O Journal of Risk and Reliability, pp.307-31243, 2006.

). F. Kuntz, Optimising monitoring of avionics systems to improve diagnostic performances, 10th Summer School MOVEP, pp.100-106, 2010.

). R. Milner, A Calculus of Communicating Systems, Lecture Notes in Computer Science, vol.92, 1980.
DOI : 10.1007/3-540-10235-3

). G. Point, A. J. Rauzy-)-p, W. M. Ramadge, and . Wonham, AL- TARICA -constraint automata as a description language Special issue on the Modelling of Reactive Systems. (Ramadge and Wonham The control of discrete event systems, European Journal on Automation Proceedings of the IEEE, vol.77, issue.1, pp.81-98, 1989.

). A. Rauzy, Mathematical foundations of minimal cutsets, IEEE Transactions on Reliability, vol.50, issue.4, pp.389-396, 2001.
DOI : 10.1109/24.983400

. Sampath, 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

. Schumann, Diagnosis of discrete-event systems using bdds. 15th International Workshop on Principles of Diagnosis Minimal cut set/sequence generation for dynamic fault trees, Proceedings of the 2004 Annual Symposium Reliability and Maintainability, pp.197-202, 2004.