Heavy-Duty Vehicle Braking Stability Control and HIL Verification for Improving Traffic Safety