STFC: Spatio-temporal formation control for connected and autonomous vehicles in multi-lane traffic | Synapse