JOVIAL is an ALGOL-based language used for avionics and air traffic control systems.

Wikipedia page