Modelling Energy Efficient Server Management Policies in PEPA. - Ali Alssaiari; Ray Adderley Jm Gining; Nigel Thomas (ICPE Companion, 2017)