On Formal Modeling and Validation of Wireless Sensor Network Protocols. - Rachid Bechar; Mounir Tahar Abbes; Fareha Mezoudj; Ladjel Bellatreche (Wirel. Pers. Commun., 2020)