Roslyn Mary Sinnamon

• Binary decision diagrams for fault tree analysis