Power Consumption Analysis of Smartphone Applications using UPPAAL
Computer Architecture A Quantitative Approach