@misc(af3,
 title        = {{AF3} -- {AutoFOCUS} 3},
 url          = {https://af3.fortiss.org/},
)
@misc(ft+,
 title        = {{Fault Tree Analysis} -- {FT} +},
 url          = {https://tinyurl.com/faulttreean},
)
@inproceedings(gallina,
 author       = {J. P. C. Ardila and B. Gallina and G. Governatori},
 year         = {2018},
 title        = {Lessons Learned while Formalizing ISO 26262 for Compliance Checking},
 booktitle    = {2nd Workshop on TeReCom - Tech. for Regulatory Compliance},
 pages        = {5--16},
)
@book(baral.book,
 author       = {C. Baral},
 year         = {2010},
 title        = {Knowledge Representation, Reasoning and Declarative Problem Solving},
 publisher    = {Cambridge University Press},
)
@inproceedings(preschern13plop,
 author       = {C. Kreiner C. Preschern, N. Kajtazovic},
 year         = {2013},
 title        = {Security Analysis of Safety Patterns},
 booktitle    = {20th Conference on Pattern Languages of Programs},
 series       = {PLoP '13},
 address      = {USA},
 pages        = {12:1--12:38},
)
@inproceedings(carlan19wosocer,
 author       = {C. C{\^a}rlan and V. Nigam and A. Tsalidis and S. Voss},
 year         = {2019},
 title        = {ExplicitCase: Tool-support for Creating and Maintaining Assurance Arguments Integrated with System Models},
 booktitle    = {WoSoCer},
 doi          = {10.1109/ISSREW.2019.00093},
)
@misc(gsn11standard,
 author       = {GSN Community},
 year         = {2011},
 title        = {GSN Community Standard Version 1},
 url          = {http://www.goalstructuringnotation.info/documents/GSN_Standard.pdf},
)
@book(hazop,
 editor       = {F. Crawley and B. Tyler},
 year         = {2015},
 title        = {HAZOP: Guide to Best Practice},
)
@inproceedings(duan17survey,
 author       = {L. Duan and S. Rayadurgam and M. P. E. Heimdahl and A. Ayoub and O. Sokolsky and I. Lee},
 year         = {2014},
 title        = {Reasoning About Confidence and Uncertainty in Assurance Cases: A Survey},
 booktitle    = {FHIES},
 volume       = {9062},
 publisher    = {Springer},
 pages        = {64--80},
 doi          = {10.1007/978-3-319-63194-3\_5},
)
@inproceedings(durrwang17safecomp,
 author       = {J. D{\"{u}}rrwang and K. Beckers and R. Kriesten},
 year         = {2017},
 title        = {{A Lightweight Threat Analysis Approach Intertwining Safety and Security for the Automotive Domain}},
 booktitle    = {SAFECOMP},
 doi          = {10.1007/978-3-319-66266-4\_20},
)
@article(eiter97tds,
 author       = {T. Eiter and G. Gottlob and H. Mannila},
 year         = {1997},
 title        = {Disjunctive Datalog},
 journal      = {{ACM} Trans. Database Syst.},
 volume       = {22},
 number       = {3},
 doi          = {10.1145/116825.116838},
)
@inproceedings(gelfond90iclp,
 author       = {M. Gelfond and V. Lifschitz},
 year         = {1990},
 title        = {Logic Programs with Classical Negation},
 booktitle    = {ICLP},
 pages        = {579--597},
)
@inproceedings(gleirscher17patterns,
 author       = {M. Gleirscher and C. C{\^{a}}rlan},
 year         = {2017},
 title        = {Arguing from Hazard Analysis in Safety Cases: {A} Modular Argument Pattern},
 booktitle    = {HASE},
 pages        = {53--60},
 doi          = {10.1109/HASE.2017.15},
)
@inproceedings(Gmez2014AssuringSI,
 author       = {S. A. G{\'o}mez and A. Goron and A. Groza},
 year         = {2014},
 title        = {Assuring Safety in an Air Traffic Control System with Defeasible Logic Programming},
 booktitle    = {15th Argentine Symposium on Articial Intelligence, ASAI},
)
@inproceedings(helle,
 author       = {P. Helle},
 year         = {2012},
 title        = {Automatic SysML-Based Safety Analysis},
 booktitle    = {ACES-MB},
 pages        = {19–24},
 doi          = {10.1145/2432631.2432635},
)
@misc(ar4761,
 author       = {SAE International},
 year         = {1996},
 title        = {{Standard} {ARP 4761}: Guidelines and Methods for Conducting the Safety Assessment},
 url          = {https://www.sae.org/standards/content/arp4761/},
)
@misc(arp4754a,
 author       = {SAE International},
 year         = {2011},
 title        = {ARP 4754a: Guidelines for Development of Civil Aircraft and Systems},
 url          = {https://www.sae.org/standards/content/arp4754a/},
)
@misc(iso26262,
 author       = {ISO},
 year         = {2011},
 title        = {ISO 26262, Road vehicles — Functional safety - Part 6: Product Development: Software Level},
 url          = {https://www.iso.org/standard/43464.html},
)
@inproceedings(kondeva19wosocer,
 author       = {A. Kondeva and C. Carlan and H. Ruess and V. Nigam},
 year         = {2019},
 title        = {On Computer-Aided Techniques for Supporting Safety and Security Co-Engineering},
 booktitle    = {WoSoCer},
 doi          = {10.1109/ISSREW.2019.00095},
)
@article(leone06tcl,
 author       = {N. Leone and G. Pfeifer and W. Faber and T. Eiter and G. Gottlob and S. Perri and F. Scarcello},
 year         = {2006},
 title        = {The DLV System for Knowledge Representation and Reasoning},
 journal      = {ACM Trans. Comput. Logic},
 volume       = {7},
 pages        = {499--562},
 doi          = {10.1145/1149114.1149117},
)
@book(stpa,
 author       = {N. Leveson and J. Thomas},
 year         = {2018},
 title        = {STPA Handbook},
)
@article(martin,
 author       = {H. Martin and Z. Ma and Ch. Schmittner and B. Winkler and M. Krammer and D. Schneider and T. Amorim and G. Macher and Ch. Kreiner},
 year         = {2020},
 title        = {Combined automotive safety and security pattern engineering approach},
 journal      = {{Reliability Engineering \& System Safety}},
 volume       = {198},
 number       = {2},
 pages        = {1--35},
 doi          = {10.4018/jsse.2012040101},
)
@inproceedings(valdivia14dasc,
 author       = {H. L. V. De Matos and A. M. da Cunha and L. A. V. Dias},
 year         = {2014},
 title        = {Using Design Patterns for Safety Assessment of Integrated Modular Avionics},
 booktitle    = {DASC},
 doi          = {10.1109/DASC.2014.6979473},
)
@misc(defenceUK,
 author       = {Defence UK Ministry},
 year         = {2007},
 title        = {Safety Management Requirements for Defence Systems},
 url          = {https://www.skybrary.aero/bookshelf/books/344.pdf},
)
@unpublished(nigam18safsec,
 author       = {V. Nigam and A. Pretschner and H. Ruess},
 year         = {2018},
 title        = {Model-Based Safety and Security Engineering},
 url          = {https://arxiv.org/abs/1810.04866},
 note         = {White Paper},
)
@inproceedings(deLP,
 author       = {Gomez S.A. and Groza A. and Chesnevar C.I.},
 year         = {2014},
 title        = {An Argumentative Approach to Assessing Safety in Medical Device Software Using Defeasible Logic Programming},
 booktitle    = {Meditech},
)