A Control-Oriented Highway Traffic Model with Multiple Clusters of CAVs | IEEE Conference Publication | IEEE Xplore