A Methodology based on Formal Methods for Predicting the Impact of Dynamic Power Management