@inproceedings{Fehnker_GHMPT_12_2,
    publisher        = {Springer},
    booktitle        = {Proceedings of the 18th International Conference on Tools and Algorithms for the Construction and
                        Analysis of Systems (TACAS)},
    month            = mar,
    issn             = {0302-9743},
    paperurl         = {https://trustworthy.systems/publications/nicta_full_text/5382.pdf},
    year             = {2012},
    editor           = {{Cormac Flanagan and Barbara K\"onig}},
    keywords         = {wireless mesh networks, routing protocols, model checking, uppaal, process algebra},
    title            = {Automated Analysis of {AODV} using {UPPAAL}},
    pages            = {173--187},
    author           = {Fehnker, Ansgar and van Glabbeek, Robert and H\"ofner, Peter and McIver, Annabelle and Portmann,
                        Marius and Tan, Wee Lum},
    address          = {Tallinn, Estonia}
  }