Mo, Yuchang, Farong Zhong, Huawen Liu, Quansheng Yang, and Gang Cui. “Depth-First Event Ordering in BDD-Based Fault Tree Analysis”. Computing and Informatics 31, no. 6+ (January 30, 2013): 1401–1416. Accessed November 8, 2024. http://147.213.75.17/ojs/index.php/cai/article/view/1324.