Vehicle dynamics modelling and validation for hardware-in-the-loop testing of electronic stability control | Synapse