A Kernel for Energy-Neutral Real-Time Systems with Mixed Criticalities | IEEE Conference Publication | IEEE Xplore