Air traffic simulation with 4D multi-criteria optimized trajectories | IEEE Conference Publication | IEEE Xplore