Traffic Management for Automated Highway Systems Using Model-Based Predictive Control | IEEE Journals & Magazine | IEEE Xplore