A framework for cars to join or leave a car formation | IEEE Conference Publication | IEEE Xplore