“An example of near-perfect software (1 error per 420,000 lines) developed by NASA, never implicated in shuttle losses.”