Title: Computer aided fault tree synthesis