Latif-Shabgahi, G., Bass, J., & Bennett, S. (2001). Component-oriented voter model for dependable control applications. Microprocessors and Microsystems, 25(3), 167-176. https://doi.org/10.1016/S0141-9331%2801%2900109-0