Latif-Shabgahi, G., Bass, J.M., Bennett, S., "A taxonomy for software voting algorithms used in safety-critical systems", IEEE Transactions on Reliability, 2004