Strategies and spacing requirements for lane changing and merging in automated highway systems | Synapse