El principal problema de las redes de sensores inalámbricas son las colisiones. Este libro se estima que proporciona un modelo de protocolo LMAC con la fase de espera de adición donde se puede analizar la probabilidad de colisiones entre los nodos sensores que pueden transmitir datos al mismo tiempo. El análisis se realiza utilizando la plataforma probabilística UPPAAL model checker. Esto propone una configuración óptima de la red que aumenta el rendimiento general y reduce el coste de las redes.