https://en.m.wikipedia.org/wiki/Ada_(programming_language) - it was mandated for some projects both by NATO and US DoD.