@INPROCEEDINGS{FMM07,
  AUTHOR =       {A. Fehnker and M. Fruth and A. McIver},
  TITLE =        {{Graphical modelling for simulation and formal analysis of wireless network protocols}},
  BOOKTITLE =    {Proc. Workshop on Methods, Models and Tools for Fault-Tolerance (MeMoT'07) at the 7th International Conference on Integrated Formal Methods (IFM'07)},
  YEAR =         {2007},
  _address =      {Oxford},
  month =        {July},
  note =         {To appear.},
}