Resilient Time-Varying Formation-Tracking of Multi-UAV Systems Against Composite Attacks: A Two-Layered Framework | IEEE Journals & Magazine | IEEE Xplore