@misc{indiciaeaaf3112047a5,
  title = {Towards a Formal Basis for Modular Safety Cases},
  author = {Denney, Ewen and Pai, Ganesh},
  year = {2015},
  url = {https://ntrs.nasa.gov/citations/20160001261},
  note = {Source identifier: 20160001261}
}