However, since improvements are always welcome, please recommend tools which would allow us to progress "above and beyond" C and it's deficencies.

I've never been able to program a buffer overrun vulnerability in Modula 3, or Perl, or any version of Lisp or Scheme. It's possible that the physics has advanced enough that "low level programming" now costs more than it saves.