There are some interesting uses, like SPARKAda.

If you're writing software that lives will depend on, it should be criminal to not use something like it. Apparently a lot of medical equipment doesn't, which creeps me out.