A domain analysis of air traffic management | IET Conference Publication | IEEE Xplore