I did some Ada in college. It's incredibly powerful, but it can be pretty difficult to work with. I don't know where else is used other than aviation and the military.
+1 for Ada. Loved they way it made tasks and monitors etc explicit. Easy to work with low level hardware. Liked the subtyping too. Often compilation => correct.