Stretch: exploiting service level degradation for energy management in mixed-criticality systems | IEEE Conference Publication | IEEE Xplore