Therac-25 is a great case study for software engineers too, recommend reading the Wikipedia article for anyone who hasn't, it's not too long.

I re-read the original paper every few months, more frequently if I'm working on Safety-of-Life-Critical equipment. Which, given my day job, means I'm re-reading it every couple of weeks at most.

Keeps you sharp, doesn't it?