Safety in Avionics: Knowing Where You Are –– Vertically