Das Hauptproblem von drahtlosen Sensornetzwerken sind Kollisionen. Dieses Buch soll ein Modell des LMAC-Protokolls mit einer zusätzlichen Wartephase bereitstellen, in der die Wahrscheinlichkeit von Kollisionen zwischen den Sensorknoten, die gleichzeitig Daten übertragen können, analysiert werden kann. Die Analyse wird mit Hilfe der probabilistischen UPPAAL-Modellprüfungsplattform durchgeführt. Damit wird ein optimaler Netzwerkaufbau vorgeschlagen, der die Gesamtleistung erhöht und die Kosten der Netzwerke reduziert.