Fault Tree Analysis And Synthesis