@inbook{Fehnker2009graphical,
  title = "Graphical modelling for simulation and formal analysis of wireless network protocols",
  author = "Ansgar Fehnker and Matthias Fruth and Annabelle McIver",
  year = "2009",
  booktitle = "Methods, Models and Tools for Fault Tolerance",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
  volume = "5454",
}