Interlocking Safety Cases for Unmanned Autonomous Systems in Shared Airspaces | IEEE Journals & Magazine | IEEE Xplore