I personally don't know any, but I guess avionics, trains and things like power plants might be candidates where one could look.

Automotive has unfortunately settled mostly on C and build a whole ecosystem around it (Autosar). With all that talk around self driving cars safer programming languages and tools would make a lot of sense.