TCAS
—
high-level structure
•
Own_Aircraft
–
Sensitivity levels, Alt_Layer, Advisory_Status
•
Other_Aircraft
–
Tracked, Intruder_State, Range_Test, Crossing, Sense
Descend/Climb