Binary decision diagram–based methods for risk assessment of systems subject to propagated failures and parametric uncertainties · Study