R. CROLL, Peter, M. BASS, Julian, J. FLEMING, Peter, "Intelligent voting strategies for dependable real-time control systems", , 1995