Mo Y, Zhong F, Liu H, Yang Q, Cui G. Depth-First Event Ordering in BDD-Based Fault Tree Analysis. Comput. Inform. [Internet]. 2013 Jan. 30 [cited 2024 Nov. 8];31(6+):1401-16. Available from: http://147.213.75.17/ojs/index.php/cai/article/view/1324