WiFi-Related Energy Consumption Analysis of Mobile Devices in a Walkable Area by Abstract Interpretation. - Enrico Eugenio; Agostino Cortesi (ICDCIT, 2017)