I do this type of software development for a living, and you're absolutely right -- it's rock solid.

The embedded control units themselves are coded in a low-level C. The automotive manufacturers develop on top of that in more abstract engineering type languages.

It's fun software to development, given all the hardware integrations involved. Way more interesting than writing line-of-business applications.