Backstepping Design for the Predefined-Time Stabilization of Second-Order Systems | IEEE Conference Publication | IEEE Xplore