Approaches to mitigating complexity-driven issues in commercial autoflight systems · Study