@techreport{Fehnker_GHMPT_13:tr,
    address          = {Australia},
    author           = {Fehnker, Ansgar and van Glabbeek, Robert and H\"ofner, Peter and McIver, Annabelle and Portmann,
                        Marius and Tan, Wee Lum},
    institution      = {NICTA},
    issn             = {1833-9646-5513},
    month            = dec,
    number           = {5513},
    paperurl         = {https://trustworthy.systems/publications/nicta_full_text/5513.pdf},
    title            = {A Process Algebra for Wireless Mesh Networks used for Modelling, Verifying and Analysing {AODV}},
    year             = {2013}
  }