@techreport{Yueksel2010optimizing,
  title = "Optimizing ZigBee Security using Stochastic Model Checking",
  author = "Ender Y{\"u}ksel and Hanne {Riis Nielson} and Flemming Nielson and Matthias Fruth and Marta Kwiatkowska",
  year = "2010",
  institution = "Technical University of Denmark",
}