@misc{indiciaec24a5cfc8c88,
  title = {Formal Methods Demonstration Project for Space Applications},
  author = {Kelly, J. and Covington, R.},
  year = {1994},
  url = {https://ntrs.nasa.gov/citations/20210004201},
  note = {Source identifier: 20210004201}
}