Maitrise des risques et surete de fonctionnement des systemes de production. Productique: information,commande, communication, 2002. ,
Model-based safety analysis, 2006. ,
Model-based systems engineering, 1993. ,
Network flow theory, 1956. ,
Reliability block diagram, Assessment of Power System Reliability, pp.119-123, 2011. ,
Fault tree analysis, System Safety Conference, pp.1-9, 1999. ,
Evaluation quantitative de séquences d'événements en sûreté de fonctionnement à l'aide de la théorie des langages probabilistes, 2016. ,
Introduction to discrete event systems, 2009. ,
Principles of model checking, 2008. ,
Extending existential quantification in conjunctions of BDDs, Boolean Modeling and Computation, vol.1, pp.89-110, 2006. ,
Automata, languages, and machines, 1974. ,
Supremica--An integrated environment for verification, synthesis and simulation of discrete event systems, 2016. ,