Toward Secure and Reliable IoT Systems: A Comprehensive Review of Formal Methods Applications. - Ikram Haddou-Oumouloud; Abderahman Kriouile; Soufiane Hamida; Ahmed Ettalbi (IEEE Access, 2024)