A Framework for the Assessment of Distributed Self-Separation Procedures for Air Traffic in Flow Corridors | IEEE Journals & Magazine | IEEE Xplore