Best of Both Worlds: Using Explainable AI and Model-based System Engineering to Design Flight Guidance and Control Systems