Modeling And Validation Of A Heavy Truck Model With Electronic Stability Control