@misc{indiciaefb690d6dbe36,
  title = {Software fault-tolerance by design diversity DEDIX: A tool for experiments},
  author = {Avizienis, A. and Gunningberg, P. and Kelly, J. P. J. and Lyu, R. T. and Strigini, L. and Traverse, P. J. and Tso, K. S. and Voges, U.},
  year = {1986},
  url = {https://ntrs.nasa.gov/citations/19860020091},
  note = {Source identifier: 19860020091}
}