@misc{indiciae541d525ee22a,
  title = {Applying Formal Methods and Object-Oriented Design to Existing Flight Software},
  author = {Cheng, Betty and Auernheimer, Brent},
  year = {1993},
  url = {https://ntrs.nasa.gov/citations/20060039502},
  note = {Source identifier: 20060039502}
}