Il problema principale delle reti di sensori wireless sono le collisioni. Questo libro si propone di fornire un modello di protocollo LMAC con l'aggiunta di una fase di attesa in cui è possibile analizzare la probabilità di collisioni tra i nodi sensore che possono trasmettere dati nello stesso momento. L'analisi viene eseguita utilizzando la piattaforma probabilistica UPPAAL model checker. Si propone una configurazione ottimale della rete che aumenta le prestazioni complessive e riduce i costi delle reti.