Automating Compositional Safety Analysis Using a Failure Type Taxonomy for Component Fault Trees