Designing operational control architectures of critical systems by reachability analysis. - Thibault Lemattre; Bruno Denis; Jean-Marc Faure; Jean-François Pétin; Patrick Salaün (CASE, 2011)

Using a meta-model to build operational architectures of automation systems for critical processes. - Thibault Lemattre; Bruno Denis; Jean-Marc Faure; Patrick Salaün; Jean-François Pétin (ETFA, 2011)

Formalism and semantics of PyCATSHOO: A simulator of distributed stochastic hybrid automata. - Loïc Desgeorges; Pierre-Yves Piriou; Thibault Lemattre; Hassane Chraibi (Reliab. Eng. Syst. Saf., 2021)