Automation procedures for air traffic management: a token-based approach | IEEE Conference Publication | IEEE Xplore