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