SPARK: A Kripke-Based Formal Analysis of the SN-MPR Routing Protocol in Wireless Sensor Networks. - Souad Marir; Hind Laouici; Walid Guenounou; Saadi Boudjit (WiMob, 2025)