Dynamic and dependent tree theory (D2T2): A framework for the analysis of fault trees with dependent basic events · Study