Model-Based Adaptation of Mixed-Criticality Multiservice Systems for Extreme Physical Environments | IEEE Journals & Magazine | IEEE Xplore