Rigid-body attitude control guaranteeing finite-time convergence. (November 2020)