Voltage Constrained Heavy Duty Vehicle Electrification: Formulation and Case Study | IEEE Conference Publication | IEEE Xplore