Supervisory control paradigm: limitations in applicability to advanced air traffic management systems | IEEE Conference Publication | IEEE Xplore