Considerations for Assuring Software Systems of Autonomous Aircraft | IEEE Conference Publication | IEEE Xplore