N. Brinzei and J. Aubry, An approach of reliability assessment of systems based on graphs models. European Safety and Reliability Conference ESREL, pp.1485-1493, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01242667

M. Duroeulx, N. Brinzei, M. Duflot, and S. Merz, Satisfiability techniques for computing minimal tie sets in reliability assessment, 2017.
URL : https://hal.archives-ouvertes.fr/hal-01518920

W. M. Goble and H. Cheddie, Safety Instrumented Systems Verification: practical probabilistic calculations, 2004.

A. Kaufmann, D. Grouchko, and R. Cruon, Mathematical Models for the Study of the Reliability of Systems, 1977.

E. Niklas and S. Niklas, An extensible SAT-solver. 6th Intl. Conf. Theory and Applications of Satisfiability Testing, pp.502-518, 2003.

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

E. Rogova and G. Lodewijks, Braking system redundancy requirements for moving walks, Reliability Engineering & System Safety, vol.133, pp.203-211, 2015.
DOI : 10.1016/j.ress.2014.08.017