Finite-time attitude control of rigid spacecrafts using immersion and invariance | IEEE Conference Publication | IEEE Xplore