The dynamic flowgraph methodology for assessing the dependability of embedded software systems. - Christopher James Garrett; Sergio B. Guarro; George E. Apostolakis (IEEE Trans. Syst. Man Cybern., 1995)

Automated hazard analysis of digital control systems. - Christopher James Garrett; George E. Apostolakis (Reliab. Eng. Syst. Saf., 2002)