That's not what bothers me about software being used in important physical systems like the brakes of a car. What bothers me about that is not knowing anything about how that software was developed or tested, the amount of rigor that went into it, etc. All software has bugs but the laws of physics don't.