Analysis of traffic flow with mixed manual and semiautomated vehicles | IEEE Journals & Magazine | IEEE Xplore