In search of effective diversity: a six-language study of fault-tolerant flight control software
A. Avižienis, Michael Rung-Tsong Lyu, Werner Schütz · 1988
Multiversion software systems achieve fault tolerance through software redundancy and diversity. The authors investigated multiversion software systems using six different programming languages to create six versions of software for an automatic landing program. The rationale, preparation, execution, and evaluation of this investigation are reported.>