Towards a Truck-Driver Model Using a Hysteresis Based Analysis and Verification ApproachLancelot Six (IFSTTAR, France)AbstractSix, Lancelot IFSTTAR