Falsification of an aircraft autopilot | IEEE Conference Publication | IEEE Xplore