Formation Control for Multiple Connected and Automated Vehicles on Multi-lane Roads | IEEE Conference Publication | IEEE Xplore