@article{knight1986experimental,
  author={John C. Knight and Nancy G. Leveson},
  title={An Experimental Evaluation of the Assumption of Independence in Multiversion Programming},
  journal={IEEE Trans. Software Eng.},
  year={1986},
  volume={12},
  number={1}
}