Safety 4.0: Model-Based Approach Toward Perpetual Flight with an Autonomous, Solar-Powered Aircraft | IEEE Conference Publication | IEEE Xplore