Enhanced Parallel Simulation for ACAS X Development | IEEE Conference Publication | IEEE Xplore