A validation study of merging and spacing techniques in a NAS-wide simulation | IEEE Conference Publication | IEEE Xplore