@inproceedings{Barry_GH_20,
    address          = {Dublin, Ireland},
    author           = {Barry, Ryan and van Glabbeek, Robert and H\"{o}fner, Peter},
    booktitle        = {4th Workshop on Models for Formal Analysis of Real Systems (MARS 2020)},
    date             = {2020-4-26},
    doi              = {https://doi.org/10.4204/EPTCS.316.3},
    editor           = {{Fehnker, Ansgar; Garavel, Hubert}},
    keywords         = {wireless mesh networks; mobile ad-hoc networks; routing protocols; {OLSR}; process algebra;
                        {T}-{AWN}},
    month            = apr,
    pages            = {40-71},
    paperurl         = {https://trustworthy.systems/publications/full_text/Barry_GH_20.pdf},
    publisher        = {Open Publishing Association},
    series           = {EPTCS},
    title            = {Formalising the Optimised Link State Routing Protocol},
    volume           = {316},
    year             = {2020}
  }