The safety-critical software industry is very different from your example, and in general, the results are very good.