E. Niel and E. Craye, Maitrise des risques et surete de fonctionnement des systemes de production. Productique: information,commande, communication, 2002.

A. Joshi, . Heimdahl, P. E. Mats, and S. P. Miller, Model-based safety analysis, 2006.

A. Wymore and . Wayne, Model-based systems engineering, 1993.

. Ford-jr, R. Lester, and . Ca, Network flow theory, 1956.

M. ?epin, Reliability block diagram, Assessment of Power System Reliability, pp.119-123, 2011.

C. A. Ericson, Fault tree analysis, System Safety Conference, pp.1-9, 1999.

D. Ionescu, Evaluation quantitative de séquences d'événements en sûreté de fonctionnement à l'aide de la théorie des langages probabilistes, 2016.

C. G. Cassandras and S. Lafortune, Introduction to discrete event systems, 2009.

C. Baier and J. Katoen, Principles of model checking, 2008.

S. Weaver, J. Franco, and J. Schlipf, Extending existential quantification in conjunctions of BDDs, Boolean Modeling and Computation, vol.1, pp.89-110, 2006.

S. Eilenberg, Automata, languages, and machines, 1974.

M. Fabian, . Flordal, and . Hugo, Supremica--An integrated environment for verification, synthesis and simulation of discrete event systems, 2016.