An Approach to Formal Verification of Free-Flight Separation | IEEE Conference Publication | IEEE Xplore