@misc{indiciae6d1faea787d4,
  title = {Model Checking Failed Conjectures in Theorem Proving: A Case Study},
  author = {Pike, Lee and Miner, Paul and Torres-Pomales, Wilfredo},
  year = {2004},
  url = {https://ntrs.nasa.gov/citations/20040191341},
  note = {Source identifier: 20040191341}
}