@misc{indiciaec22bbf20221c,
  title = {A quantitative risk-based model for reasoning over critical system properties},
  author = {Feather, M. S.},
  year = {2002},
  url = {https://ntrs.nasa.gov/citations/20060029941},
  note = {Source identifier: 20060029941}
}