A high-integrity, safety-critical systems programming language.
Airbus
Manching, Germany
Alten
Hertfordshire, England, UK
ASRC Federal
Warner Robins, GA, USA