Finite time coordinated formation control for spacecraft formation flying under directed communication topology. (July 2017)