A model-based approach for formal verification and performance evaluation of energy harvesting architectures in IoT systems: A case study of a long-term healthcare application. - Imene Ben Hafaiedh; Afef Gafsi; Mohamed Yassine Yahyaoui; Yasmine Aouinette (Simul. Model. Pract. Theory, 2024)