Validation and Verification of Aircraft Control Software for Control Improvement