Y. Mo, F. Zhong, H. Liu, Q. Yang, and G. Cui, “Depth-First Event Ordering in BDD-Based Fault Tree Analysis”, Comput. Inform., vol. 31, no. 6+, pp. 1401–1416, Jan. 2013.