@misc{indiciae30b80786dec8,
  title = {Formal Assurance Arguments: A Solution In Search of a Problem?},
  author = {Graydon, Patrick J.},
  year = {2015},
  url = {https://ntrs.nasa.gov/citations/20160006364},
  note = {Source identifier: 20160006364}
}