Analysis of traffic flow with mixed manual and semiautomated vehicles | Synapse