An MDP-based solution for the energy minimization of non-clairvoyant hard real-time systems. - Gaujal, Bruno; Girault, Alain; Plassart, Stéphan (Real-Time Systems, 2025)