Title: Automated fault tree construction