@misc{indiciae56f06dc7b03f,
  title = {Verification of Triple Modular Redundancy Insertion for Reliable and Trusted Systems},
  author = {Berg, Melanie and LaBel, Kenneth},
  year = {2016},
  url = {https://ntrs.nasa.gov/citations/20160003521},
  note = {Source identifier: 20160003521}
}