Text this: Tool-Based Design and Evaluation of Resilient Flight Control Systems