Simulation of a component-oriented voter library for dependable control applications | IEEE Conference Publication | IEEE Xplore