Plus there's the ravenscar profile for working with hard real-time systems, making it possibly the best language for working with embedded and safety critical systems.

If only the tooling was a little better (as mentioned above), Ada would be my go-to language of choice.