Analysis of traffic flow with mixed manual and semi-automated vehicles | IEEE Conference Publication | IEEE Xplore