1. The dynamic flowgraph methodology for assessing the dependability of embedded software systems;Garrett;IEEE Transactions on Systems, Man and Cybernetics,1995
2. Automated hazard analysis of digital control systems;Garrett;Reliability Engineering and System Safety,2002
3. Demonstration of the dynamic flowgraph methodology using the Titan II space launch vehicle digital flight control system;Yau;Reliability Engineering and System Safety,1995
4. Aldemir T, Guarro S, Kirschenbaum J, Mandelli D, Mangan LA, Bucci P, et al. A benchmark implementation of two dynamic methodologies for the reliability modeling of digital instrumentation and control systems. In: NUREG/CR-6985. U.S. Nuclear Regulatory Commission, Washington, DC, 2009.
5. Construction of event-tree/fault-tree models from a Markov approach to dynamic system reliability;Bucci;Reliability Engineering and System Safety,2008