Finite-time attitude stabilization of an output-constrained rigid spacecraft. (21st February 2020)