Automated vehicle-involved traffic flow studies: A survey of assumptions, models, speculations, and perspectives | Synapse