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 May 3, 2024. https://www.cai.sk/ojs/index.php/cai/article/view/1324.