A comparison of fault trees and the Dynamic Flowgraph Methodology for the analysis of FPGA-based safety systems part 2: Theoretical investigations. - Phillip McNelles; Guna Renganathan; Zhao Chang Zeng; Marius Chirila; Lixuan Lu (Reliab. Eng. Syst. Saf., 2019)