I might have missed this in the article - how is the pay level set for ATC staff? In a free market economy price is the magical signal that is supposed to increase supply when there is unmet demand.