Strategies and spacing requirements for lane changing and merging in automated highway systems | IEEE Journals & Magazine | IEEE Xplore