Vital - an advanced time-based tool for the future 4D ATM environment | IEEE Conference Publication | IEEE Xplore