Toward run-time assurance in general aviation and unmanned aircraft vehicle autopilots | IEEE Conference Publication | IEEE Xplore