Free flight separation assurance using distributed algorithms | IEEE Conference Publication | IEEE Xplore