Time-parallel simulation of air traffic networks | IEEE Conference Publication | IEEE Xplore