Siqi QiuHenry X. G. MingBinary decision diagram-based methods for risk assessment of systems subject to propagated failures and parametric uncertainties.1339-1351201834Qual. Reliab. Eng. Int.7https://doi.org/10.1002/qre.2344db/journals/qre/qre34.html#QiuM18