Critical Real-Time Embedded Systems (CRTES) such as railway, aerospace, automotive and energy generation systems face a disruptive challenge caused by the massive irruption of mixed-criticality systems based on multicore processors. At the same time low-power is an intensifying demand in many market segments, a competitive advantage for CRTES that have to operate with limited energy (e.g., batter ...