@inbook{1292861,
  author = {Edward Griffor},
  title = {Reasoning about Safety and Security: The Logic of Assurance},
  year = {2017},
  month = {2017-01-01 05:01:00},
  publisher = {Handbook of System Safety and Security, Elsevier, Atlanta, GA},
  url = {https://tsapps.nist.gov/publication/get_pdf.cfm?pub_id=921721},
  doi = {https://doi.org/10.1016/B978-0-12-803773-7.00007-3},
  language = {en},
}