Mo, Y.; Zhong, F.; Liu, H.; Yang, Q.; Cui, G. Depth-First Event Ordering in BDD-Based Fault Tree Analysis. Comput. Inform. 2013, 31, 1401-1416.