Finite-time control for formation flying spacecraft with coupled attitude and translational dynamics | IEEE Conference Publication | IEEE Xplore