Communications of the ACM
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.
From ACM Opinion
Using software to control potentially unsafe systems requires the use of new software and system engineering approaches.