Real-Time Animated Visualization of Massive Air-Traffic Trajectories | IEEE Conference Publication | IEEE Xplore