Surely those industries are not relying on humans writing "good code" to make sure faults are not introduced, right? There are static analysis and automated testing and rigorous QA processes, surely?