Title: Binary decision diagrams for fault tree analysis