@inproceedings{Fehnker2007graphical,
  author = "Ansgar Fehnker and Matthias Fruth and Annabelle McIver",
  booktitle = "Proceedings of the Workshop on Methods, Models and Tools for Fault Tolerance (MeMoT 2007) at the 7th International Conference on Integrated Formal Methods (IFM 2007)",
  note = "Technical Report CS-TR-1032, University of Newcastle upon Tyne",
  pages = "80--87",
  title = "Graphical modelling for simulation and formal analysis of wireless network protocols",
  year = "2007",
}