Time-varying output formation tracking of heterogeneous linear multi-agent systems with multiple leaders and switching topologies.