[pjmlp]

Ada, SPARK, Pascal, code generation using formal model, in some soft-real time cases Java (RTSJ 2.0).

But it will be an up-hill battle if not working alone, unless one is working in high-integrity related industries.