https://123dok.org/document/oy8091rq-safe-supervisory-flight-control-scheme-presence-constraints-anomalies.html