A high-integrity, safety-critical systems programming language.
BAE Systems
Maple Grove, MN, USA
Greenlawn, NY, USA
Honeywell Aerospace
Phoenix, AZ, USA