« Analysis of Faults in an N-Version Software Experiment." Susan S. Brilliant, John C. Knight, Nancy G. Leveson (1990)
And I found a PDF version here: http://sunnyday.mit.edu/papers/nver2.pdf