HAL/S

A real-time language used by NASA for onboard shuttle software.

"Two-Dimensional Characteristics of HAL, A Language for Spaceflight Applications", J. S. Miller, SIGPLAN Notices 7(10) (Oct 1972).