Latif-Shabgahi, G., Bass, J.M., Bennett, S., "Simulation of a component-oriented voter library for dependable control applications", , 1998