A reduction approach to improve the quantification of linked fault trees through binary decision diagrams.