TY - RPRT TI - Automatic translation of digraph to fault-tree models AU - Iverson, David L. PY - 1992 UR - https://ntrs.nasa.gov/citations/19920073616 ID - 19920073616 ER -