Power Consumption Analysis of Smartphone Applications using UPPAAL
The Algorithmic Analysis of Hybrid Systems