Satisfying integrity requirements for highly automated UAV systems by a systems engineering approach to Cognitive Automation | IEEE Conference Publication | IEEE Xplore