@misc{indiciae89509d9681b0,
  title = {Applying Formal Methods and Object-Oriented Analysis to Existing Space Shuttle Software},
  author = {Cheng, B. and Auernheimer, B.},
  year = {1994},
  url = {https://ntrs.nasa.gov/citations/20060042171},
  note = {Source identifier: 20060042171}
}