A Parallel Simulation Approach to ACAS X Development | IEEE Conference Publication | IEEE Xplore