Prescribed-time formation tracking of second-order multi-agent networks with directed graphs. (June 2023)