Modelling of a car driveline for servo-actuated gear-shift control