The national simulation laboratory: the unifying tool for air traffic control system development | IEEE Conference Publication | IEEE Xplore