Model-Based Development and Verification of Ampyx Power’s Airborne Wind Energy System