Christopher James Garrett, Sergio B. Guarro, George E. Apostolakis. The dynamic flowgraph methodology for assessing the dependability of embedded software systems. IEEE Transactions on Systems, Man, and Cybernetics, Part A, 25(5):824-840, 1995. [doi]
Abstract is missing.