Santosh Devasia, Michael Heymann, George Meyer. Automation procedures for air traffic management: a token-based approach. In American Control Conference, ACC 2002, Anchorage, Alaska, USA, May 8-10 2002. pages 736-741, IEEE, 2002. [doi]
Abstract is missing.