@misc{indiciae9dc5e5ac1359,
  title = {Formal Verification for a Next-Generation Space Shuttle},
  author = {Nelson, Stacy D. and Pecheur, Charles and Koga, Dennis},
  year = {2002},
  url = {https://ntrs.nasa.gov/citations/20030018894},
  note = {Source identifier: 20030018894}
}