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)