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. http://147.213.75.17/ojs/index.php/cai/article/view/1324.