S. Health and . Executive, Fatal injury statistics

F. Barcellini, C. Albert, and P. Saint-dizier, Risk analysis and prevention: LELIE, a tool dedicated to procedure and requirement authoring, Proc. of LREC. ACL, 2012.

M. Fitting, First-Order Logic and Automated Theorem Proving, ser. Graduate Texts in Computer Science, 1996.

L. Moura and N. Bjørner, Z3: An efficient SMT solver, " in Tools and Algorithms for the Construction and Analysis of Systems, pp.337-340, 2008.

C. Barrett, A. Stump, and C. Tinelli, The SMT-LIB Standard: Version 2.0, Proc. of the 8th Intl. WS on Satisfiability Modulo Theories, 2010.

J. D. Kleer, An assumption-based TMS, Artificial Intelligence, vol.28, issue.2, pp.127-162, 1986.
DOI : 10.1016/0004-3702(86)90080-9

M. Liffiton and A. Malik, Enumerating Infeasibility: Finding Multiple MUSes Quickly, Proc. of CPAIOR, pp.160-175, 2013.
DOI : 10.1007/978-3-642-38171-3_11

W. Raynaut, Module IA de l'Outil LELIE Un logiciel intelligent d'aide au diagnostic de risques dans les procédures industrielles, IRIT, 2013.

M. Järvisalo, D. L. Berre, O. Roussel, and L. Simon, The international SAT solver competitions, AI Magazine, vol.33, issue.1, pp.89-92, 2012.

C. Barrett, L. De-moura, and A. Stump, SMT-COMP: Satisfiability Modulo Theories Competition, Computer Aided Verification, pp.20-23, 2005.
DOI : 10.1007/11513988_4
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.571.2038

S. Lahiri and S. Qadeer, Back to the future, ACM SIGPLAN Notices, vol.43, issue.1, pp.171-182, 2008.
DOI : 10.1145/1328897.1328461

R. Bruttomesso, A. Cimatti, A. Franzen, A. Griggio, Z. Hanna et al., A Lazy and Layered SMT( $\mathcal{BV}$ ) Solver for Hard Industrial Verification Problems, Computer Aided Verification, pp.547-560, 2007.
DOI : 10.1007/978-3-540-73368-3_54

P. Gregory, D. Long, M. Fox, and J. Beck, Planning modulo theories: Extending the planning paradigm, ICAPS, 2012.

C. Ebert and R. Wieringa, Requirements Engineering: Solutions and Trends, Engineering and Managing Software Requirements, pp.453-476, 2005.
DOI : 10.1007/3-540-28244-0_20
URL : http://eprints.eemcs.utwente.nl/secure2/00010439/01/fulltext.pdf