A second-order slip model for constraint backstepping control of antilock braking system based on Burckhardt's model. (3rd March 2020)