A Model-Based and System-Theoretic Approach to Design Advanced Autonomy for Air Dominance Missions: A Loyal Wingman Case Study