Reed, S. (in press). An efficient algorithm for exact computation of system and survival signatures using binary decision diagrams. Reliability Engineering and System Safety, 165, doi:10.1016/j.ress.2017.03.036