@misc{indiciae1eedde57a3aa,
  title = {Diagnosing a Failed Proof in Fault-Tolerance: A Disproving Challenge Problem},
  author = {Pike, Lee and Miner, Paul and Torres-Pomales, Wilfredo},
  year = {2006},
  url = {https://ntrs.nasa.gov/citations/20060046664},
  note = {Source identifier: 20060046664}
}