@misc{indiciae6c7c1b058580,
  title = {Using certification trails to achieve software fault tolerance},
  author = {Sullivan, Gregory F. and Masson, Gerald M.},
  year = {1993},
  url = {https://ntrs.nasa.gov/citations/19940031561},
  note = {Source identifier: 19940031561}
}