Latif-Shabgahi, G., Bass, J., & Bennett, S. (1998). Simulation of a component-oriented voter library for dependable control applications. . https://doi.org/10.1109/EURMIC.1998.711829