Optimizing ZigBee Security using Stochastic Model Checking - Yüksel, E; Nielson, H; Nielson, F; Fruth, M; Kwiatkowska, M (Technical University of Denmark, 2010)