Multi-lane Formation Assignment and Control for Connected Vehicles | IEEE Conference Publication | IEEE Xplore