From 9aa84753cc86acf7f2d24922e7b221072eb42405 Mon Sep 17 00:00:00 2001
From: Dane Sabo <dane.sabo@pitt.edu>
Date: Mon, 11 Nov 2024 11:23:36 -0500
Subject: [PATCH] vault backup: 2024-11-11 11:23:36

---
 201 Metadata/My Library.bib | 36 ++++++++++++++++++++++++++++++++++++
 1 file changed, 36 insertions(+)

diff --git a/201 Metadata/My Library.bib b/201 Metadata/My Library.bib
index b042c7db..884002c2 100644
--- a/201 Metadata/My Library.bib	
+++ b/201 Metadata/My Library.bib	
@@ -5603,6 +5603,13 @@ Regulatory Premises.pdf}
   file = {/home/danesabo/Zotero/storage/3LAD5CQX/fulltext.pdf}
 }
 
+@online{HttpsWwwinfedacukTeaching,
+  title = {{{https://www.inf.ed.ac.uk/teaching/courses/seoc/2008\_2009/resources/ariane5.pdf}}},
+  url = {https://www.inf.ed.ac.uk/teaching/courses/seoc/2008_2009/resources/ariane5.pdf},
+  urldate = {2024-11-11},
+  file = {/home/danesabo/Zotero/storage/5HM8P7BE/ariane5.pdf}
+}
+
 @online{HttpsWwwWhitehouse,
   title = {{{https://www.whitehouse.gov/wp-content/uploads/2024/02/Final-ONCD-Technical-Report.pdf}}},
   url = {https://www.whitehouse.gov/wp-content/uploads/2024/02/Final-ONCD-Technical-Report.pdf},
@@ -7205,6 +7212,17 @@ for defect classification of TFT–LCD panels.pdf}
   file = {/home/danesabo/Zotero/storage/TH8TQZIS/Leveson - An Improved Design Process for Complex, Control-Ba.pdf}
 }
 
+@article{levesonInvestigationTherac25Accidents1992,
+  title = {An Investigation of the {{Therac-25}} Accidents},
+  author = {Leveson, Nancy G. and Turner, Clark S.},
+  date = {1992},
+  url = {https://escholarship.org/uc/item/5dr206s3},
+  urldate = {2024-11-11},
+  abstract = {Risk in any complex technology is unavoidable. However, important lessons can be learned from accidents which can be used to design procedures for reducing risk in the future. Although descriptions of the Therac-25 medical electron accelerator accidents have been published previously, they are incomplete and often misleading. This paper contains a detailed account of these accidents, along with some lessons that can be learned from them in terms of system engineering, software engineering, and government regulation of safety-critical systems involving software.},
+  langid = {english},
+  file = {/home/danesabo/Zotero/storage/CGFZR2HJ/Leveson and Turner - 1992 - An investigation of the Therac-25 accidents.pdf}
+}
+
 @book{levesonSTPAHandbook,
   title = {{{STPA Handbook}}},
   author = {Leveson, Nancy and Thomas, John},
@@ -8905,6 +8923,24 @@ Insights from the Social Sciences.pdf}
   langid = {english}
 }
 
+@article{nuseibehAriane5Who1997,
+  title = {Ariane 5: {{Who Dunnit}}?},
+  shorttitle = {Ariane 5},
+  author = {Nuseibeh, B.},
+  date = {1997-05},
+  journaltitle = {IEEE Software},
+  shortjournal = {IEEE Softw.},
+  volume = {14},
+  number = {3},
+  pages = {15--16},
+  issn = {0740-7459},
+  doi = {10.1109/MS.1997.589224},
+  url = {http://ieeexplore.ieee.org/document/589224/},
+  urldate = {2024-11-11},
+  langid = {english},
+  file = {/home/danesabo/Zotero/storage/F54U6WIW/Nuseibeh - 1997 - Ariane 5 Who Dunnit.pdf}
+}
+
 @online{nuskenSolvingHighdimensionalHamiltonJacobiBellman2023,
   title = {Solving High-Dimensional {{Hamilton-Jacobi-Bellman PDEs}} Using Neural Networks: Perspectives from the Theory of Controlled Diffusions and Measures on Path Space},
   shorttitle = {Solving High-Dimensional {{Hamilton-Jacobi-Bellman PDEs}} Using Neural Networks},