@inproceedings{Fehnker_GHMPT_11,
    address          = {Vancouver},
    author           = {Fehnker, Ansgar and van Glabbeek, Robert and H\"ofner, Peter and McIver, Annabelle and Portmann,
                        Marius and Tan, Wee Lum},
    booktitle        = {1st International Workshop on Rigorous Protocol Engineering},
    month            = oct,
    pages            = {1--6},
    paperurl         = {https://trustworthy.systems/publications/nicta_full_text/5069.pdf},
    title            = {Modelling and Analysis of {AODV} in {UPPAAL}},
    year             = {2011}
  }