An evergreen HN topic with many earlier comments:

https://hn.algolia.com/?q=Therac

for another example, see the detailed (scrubbed?) study

https://www.safetyresearch.net/Library/BarrSlides_FINAL_SCRU...

Since then we have extended automotive software from engine control to driving.