A. Arnold, A. Griffault, G. Point, and A. Rauzy, The AltaRica formalism for describing concurrent systems, Fundamenta Informaticae, vol.40, pp.109-124, 2000.

R. E. Bryant, Graph-Based Algorithms for Boolean Function Manipulation, IEEE Transactions on Computers, vol.35, issue.8, pp.677-691, 1986.
DOI : 10.1109/TC.1986.1676819

E. M. Clarke, D. E. Long, and K. L. Mcmillan, Compositional model checking, [1989] Proceedings. Fourth Annual Symposium on Logic in Computer Science, pp.353-362, 1989.
DOI : 10.1109/LICS.1989.39190
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.111.7245

M. Corsini and A. Rauzy, Toupie: The µ-calculus over finite domains as a constraint language, Journal of Automated Reasoning, vol.19, issue.2, pp.143-171, 1997.
DOI : 10.1023/A:1005732517165

J. De-kleer, A. K. Mackworth, and R. Reiter, Characterizing diagnoses, AAAI'90: Proceedings of the eighth National conference on Artificial intelligence, pp.324-330, 1990.
DOI : 10.1007/3-540-53104-1_27

S. Denzumi, R. Yoshinaka, S. Minato, and H. Arimura, Efficient algorithms on sequence binary decision diagrams for manipulating sets of strings, 2011.

Y. Dutuit and A. Rauzy, Exact and truncated computations of prime implicants of coherent and non-coherent fault trees within aralia, Reliability Engineering and System Safety, issue.58, pp.127-144, 1997.

A. Griffault, G. Point, and A. Vincent, AltaRica Checker Handbook, a userguide to ARC version 1.3. LaBRI, 2010.

F. Laroussinie, Logique temporelle avec passé pour la spécification et la vérification des systèmes réactifs, Thèse de doctorat, 1994.

E. Loekito, J. Bailey, and J. Pei, A binary decision diagram based approach for mining frequent subsequences, Knowledge and Information Systems, vol.42, issue.1???2, pp.235-268, 2010.
DOI : 10.1007/s10115-009-0252-9

S. Minato, Binary Decision Diagrams and Applications for VLSI CAD, 1996.
DOI : 10.1007/978-1-4613-1303-8

G. Point, AltaRica : ContributionàContribution`Contributionà l'unification des méthodes formelles et de la s ? ureté de fonctionnement, 2000.

G. Point and A. Rauzy, Altarica -constraint automata as a description language, European Journal on Automation, 1999.

P. J. Ramadge and W. M. Wonham, The control of discrete event systems, Proceedings of the IEEE, vol.77, issue.1, pp.81-98, 1989.
DOI : 10.1109/5.21072

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

A. Rauzy, Mode automata and their compilation into fault trees, Reliability Engineering & System Safety, vol.78, issue.1, pp.1-12, 2002.
DOI : 10.1016/S0951-8320(02)00042-X

R. Reiter, A theory of diagnosis from first principles, Artificial Intelligence, vol.32, issue.1, pp.57-95, 1987.
DOI : 10.1016/0004-3702(87)90062-2

M. Sampath, R. Sengupta, S. Lafortune, K. Sinnamohideen, and D. C. 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
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.364.852

S. Schwoon, A Note on On-the-Fly Verification Algorithms, Proc. of TACAS'05, pp.174-190, 2005.
DOI : 10.1007/978-3-540-31980-1_12