@misc{indiciae7a00325424c1,
  title = {A Methodology for Evaluating Artifacts Produced by a Formal Verification Process},
  author = {Siminiceanu, Radu I. and Miner, Paul S. and Person, Suzette},
  year = {2011},
  url = {https://ntrs.nasa.gov/citations/20110022654},
  note = {Source identifier: 20110022654}
}