Re: Well....
" For life critical systems it is only fair that the source code be available for customers to inspect."
The source code does nothing on its own. The tool chain(s) used to make the source code executable should presumably also be auditable... and so on.