Generation of safe plant operation sequences using reachability analysis. - Thomas Cochard; David Gouyon; Jean-François Pétin (ETFA, 2015)

Generation of safe operation sequences using iterative refinements and abstractions of timed automata. - Thomas Cochard; David Gouyon; Jean-François Pétin (ETFA, 2016)

Contribution à la génération de séquences pour la conduite de systèmes complexes critiques. (A contribution to sequences generation for critical complex systems operating). - Thomas Cochard (2017)

Architecture assessment for safety critical plant operation using reachability analysis of timed automata. - David Gouyon; Jean-François Pétin; Thomas Cochard; Catherine Devic (Reliab. Eng. Syst. Saf., 2020)