System engineering for the 777 autopilot system | IEEE Journals & Magazine | IEEE Xplore