I wonder if critical systems such as this would become more or less reliable if a law forced the companies to release the source code to the public so that anyone could audit. Something like the rewards Tesla gives to the hackers that compromise their systems should be set up by the government for critical software.