Modelling and control of an anti-lock braking system via co-simulation