A comparison of Fault Trees and the Dynamic Flowgraph Methodology for the analysis of FPGA-based safety systems Part 1: Reactor trip logic loop reliability analysis. - Phillip McNelles; Zhao Chang Zeng; Guna Renganathan; Greg Lamarre; Yolande Akl; Lixuan Lu (Reliab. Eng. Syst. Saf., 2016)