@misc{indiciae06c7803b9811,
  title = {Formal Foundations for Hierarchical Safety Cases},
  author = {Denney, Ewen and Pai, Ganesh and Whiteside, Iain},
  year = {2015},
  url = {https://ntrs.nasa.gov/citations/20160002416},
  note = {Source identifier: 20160002416}
}