ATLAS
Abbreviated Test Language for Avionics Systems