Aircraft Proximity: Towards Systematic Test Strategies via the Apollonian Proximity Circle paradigm | IEEE Conference Publication | IEEE Xplore