Modeling complex air traffic management systems. - Neha Rungta; Eric G. Mercer; Franco Raimondi; Bjorn C. Krantz; Richard Stocker 001; Andrew Wallace (MiSE@ICSE, 2016)