Stream Option Manager (SOM): automated integration of aircraft separation, merging, stream management, and other air traffic control functions | IEEE Journals & Magazine | IEEE Xplore