Text this: A second-order slip model for constraint backstepping control of antilock braking system based on Burckhardt's model.