A theoretical basis for the analysis of redundant software subject to coincident errors (1985)

by D E Eckhardt, L D Lee
Venue:National Aeronautics and Space Administration (NASA), Technical Memorandum 86369