Coupling decomposition and truncation for the analysis of complex fault trees | Proceedings of the Institution of Mechanical Engineers Part O Journal of Risk and Reliability | DeepDyve