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, https://doi.org/10.1016/j.ress.2017.03.036