Dual-quaternion based fault-tolerant control for spacecraft formation flying with finite-time convergence. (March 2016)