Enabling air-ground integration: concept definition for traffic information service in contract mode (TIS-C) | IEEE Conference Publication | IEEE Xplore