Are You Sure Your Software Will Not Kill Anyone?

Using software to control potentially unsafe systems requires the use of new software and system engineering approaches.