Warning - the bibtex entry below may be invalid: 
Missing 'chapter' or 'pages' field 
@inbook{Fehnker2009graphical,
  author = "Ansgar Fehnker, Matthias Fruth and Annabelle McIver",
  booktitle = "Methods, Models and Tools for Fault Tolerance",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
  title = "Graphical modelling for simulation and formal analysis of wireless network protocols",
  volume = "5454",
  year = "2009",
}