Experimental Validation of Multi-Lane Formation Control for Connected and Automated Vehicles | IEEE Conference Publication | IEEE Xplore