Time-varying formation tracking for second-order multi-agent systems with one leader | IEEE Conference Publication | IEEE Xplore