An implementation of a reactive distributed air conflict resolution system | IEEE Conference Publication | IEEE Xplore