Formal Methods to Analyze Energy Efficiency and Security for IoT: A Systematic Review. - Luciana Pereira Oliveira; Arley Willer Neves da Silva; Lucas Pereira de Azevedo; Maria Vitória Lima da Silva (AINA (3), 2021)