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 May 4];31(6+):1401-16. Available from: https://www.cai.sk/ojs/index.php/cai/article/view/1324