Comment by NextHendrix

Wouldn't it make more sense to use a much more mature safety-centric language with a proper language spec like Ada?