Mo, Y. et al. 2013. Depth-First Event Ordering in BDD-Based Fault Tree Analysis. COMPUTING AND INFORMATICS. 31, 6+ (Jan. 2013), 1401–1416.