Latif-Shabgahi, G., Bass, J., & Bennett, S. (2004). A taxonomy for software voting algorithms used in safety-critical systems. IEEE Transactions on Reliability, 53(3), https://doi.org/10.1109/TR.2004.832819