A Computational Framework for Formalizing Rollover Risk in Heavy-Duty Vehicles: Application to Concrete Truck Mixers