The Green Hills Software CEO and The Dawn Project founder catalogs his concerns about the safety of Tesla’s Autopilot and “Full Self Driving” driver-assistance systems. He further scrutinizes the problems associated with software in safety-critical systems.