vault backup: 2024-11-11 11:23:36

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},