Development of Safety Requirements for Tracking Active Pilot Controls by Signals from an Automatic Flight Control System | IEEE Conference Publication | IEEE Xplore