Title: Automation Tools for Demonstration of Goal Directed and Self-Repairing Flight Control Systems