M. Bass, Julian, J. Fleming, Peter, "Voting Software for Fault-Tolerant Aircraft Flight Control Systems", , 1992