Return to Article Details Depth-First Event Ordering in BDD-Based Fault Tree Analysis Download Download PDF