Generating Certification Evidence for Autonomous Unmanned Aircraft Using Model Checking and Simulation Towards Certification of Autonomous Unmanned Aircraft Using Formal Model Checking and Simulation Certification of a Civil UAS: A Virtual Engineering Approach Formal Methods for the Certification of Autonomous Unmanned Aircraft Systems Virtual Engineering Centre - Examples of Virtual Prototyping and Multidisciplinary Design Optimization Tilt Rotor Pitch/Flight-Path Handling Qualities. Flight Handling Qualities of a Large Compound Rotorcraft Rotorblade Trailing Edge Flap Failure Modes and Effects Analysis 'Unified Tilt Rotor Handling Qualities; Feasible or Impracticable Part I: Setting the Challenge' 'Unified Tilt Rotor Handling Qualities; Feasible or Impracticable Part II: Control Concepts' Tilt Rotor Pitch/Flight-Path Handling Qualities Helicoper Pilot Modelling for Inverse Simulation and Handling Qualities