Safety Assurance of Non-Deterministic Flight Controllers in Aircraft Applications