Surely your comment was written in jest, but one example of companies that uses (or used) Ada is SAAB: https://www.adacore.com/press/saab-signs-corporate-wide-soft...