Various methods have been introduced and developed to analyze fault tree diagrams. One of the interesting methods is fault tree conversion to Binary Decision Diagram (BDD). However, the conversion ...