This is an excerpt from Engineering Disasters explaining software flaws in Ariane 5 and Patriot Missiles.