OR model development related to ATFM can be viewed as going through two distinct stages. The first stage involved problem definition and development of large-scale mathematical optimization models of an aggregate scope. Attwool (1977) was the first to cast ATFM issues in mathematical terms, while