I'm not a diabetic, but even I was skeptical of the title "Seven Diabetes Patients Die Due to Undisclosed Bug"; this draws a very direct 1-to-1 association when in reality, we know that a death would be the result of multiple failures/oversights.

I thought this article would try to sell us on the benefits of formal software verification or something... Though of course, you can't formally verify complex human biology.