Oualid Demigha, Chamseddine Khalfi. Formal Analysis of Energy Consumption in IoT Systems. In Muthu Ramachandran, Robert John Walters, Gary Wills, Víctor Méndez Muñoz, Victor Chang 0001, editors, Proceedings of the 4th International Conference on Internet of Things, Big Data and Security, IoTBDS 2019, Heraklion, Crete, Greece, May 2-4, 2019. pages 103-114, SciTePress, 2019. [doi]