@misc{indiciaef8cccae06882,
  title = {Formalizing Probabilistic Safety Claims},
  author = {Herencia-Zapana, Heber and Hagen, George E. and Narkawicz, Anthony J.},
  year = {2011},
  url = {https://ntrs.nasa.gov/citations/20110011169},
  note = {Source identifier: 20110011169}
}