@misc{indiciae1439bc7ff335,
  title = {Experience Report: Using Formal Methods for Requirements Analysis of Critical Spacecraft Software},
  author = {Ampo, Y. and Lutz, R.},
  year = {1994},
  url = {https://ntrs.nasa.gov/citations/20210004266},
  note = {Source identifier: 20210004266}
}