Formal guarantees on controller performance for autonomous vehicles during highway lane changing manoeuvres