SAE/TP 2009-01-3253 (PDF) A Framework for Modeling Air Traffic Control Systems