Mo, Yuchang, Farong Zhong, Huawen Liu, Quansheng Yang, and Gang Cui. 2013. “Depth-First Event Ordering in BDD-Based Fault Tree Analysis”. COMPUTING AND INFORMATICS 31 (6+):1401-16. https://www.cai.sk/ojs/index.php/cai/article/view/1324.