Modeling and Analysis for Energy-Driven Computing using Statistical Model-Checking. - Gamatié, Abdoulaye; Sassatelli, Gilles; Mikucionis, Marius (2021)