@misc{indiciae5c27d33eae73,
  title = {Modeling transient faults in TMR computer systems},
  author = {Merryman, P. M. and Avizienis, A. A.},
  year = {1975},
  url = {https://ntrs.nasa.gov/citations/19750060160},
  note = {Source identifier: 19750060160}
}