A standards-based approach to distributed air traffic management simulation | IEEE Conference Publication | IEEE Xplore