Finite-time output feedback attitude control for rigid spacecraft under control input saturation. Issue 17 (November 2016)