Nonlinear spacing policies for automated heavy-duty vehicles | Synapse