Formal modelling and verification of the common hopping multi-channel MAC protocols. - Abdelaziz El Fatni; Guy Juanole; Thierry Val (MSWiM, 2010)

Split Phase Multi-channel MAC Protocols - Formal Specification and Analysis. - Abdelaziz El Fatni; Guy Juanole (MASCOTS, 2012)

Modelling and analysis of the split phase multi-channel MAC approach. - Abdelaziz El Fatni (MSWiM, 2012)