Safety of a decentralized scheme for free-flight ATMS using mixed integer linear programming | IEEE Conference Publication | IEEE Xplore