A Particle System for Safety Verification of Free Flight in Air Traffic | IEEE Conference Publication | IEEE Xplore