@inproceedings(BTPS09,
 author       = {J.S. Baras and V. Tabatabaee and P. Purkayastha and K. Somasundaram},
 year         = {2009},
 title        = {Component Based Performance Modelling of Wireless Routing Protocols},
 booktitle    = {International Conference on Communications \rm (ICC'09)},
 publisher    = {{IEEE}},
 pages        = {1--6},
 doi          = {10.1109/ICC.2009.5198840},
)
@article(AWN-AFP,
 author       = {T. Bourke},
 year         = {2014},
 title        = {Mechanization of the Algebra for Wireless Networks (AWN)},
 journal      = {Archive of Formal Proofs},
 note         = {\url{http://isa-afp.org/entries/AWN.html}, Formal proof development},
)
@article(BGH16,
 author       = {T. Bourke and R. J. van Glabbeek and P. H\"ofner},
 year         = {2016},
 title        = {Mechanizing a Process Algebra for Network Protocols},
 journal      = {Journal of Automated Reasoning},
 volume       = {56},
 number       = {3},
 pages        = {309--341},
 doi          = {10.1007/s10817-015-9358-9},
)
@inproceedings(BGH14b,
 author       = {T. Bourke and R.J. van Glabbeek and P. H{\"o}fner},
 year         = {2014},
 title        = {A mechanized proof of loop freedom of the (untimed) {AODV} routing protocol},
 editor       = {F. Cassez and J.-F. Raskin},
 booktitle    = {Automated Technology for Verification and Analysis {\rm (ATVA'14)}},
 series       = {{\rm LNCS}},
 volume       = {8837},
 publisher    = {Springer},
 pages        = {47--63},
 doi          = {10.1007/978-3-319-11936-6\_5},
 url          = {http://arxiv.org/abs/1505.05646},
)
@techreport(tawn_tr,
 author       = {E. Bres and R.J. van Glabbeek and P. H{\"o}fner},
 year         = {2016},
 title        = {A Timed Process Algebra for Wireless Networks with an Application in Routing},
 type         = {Technical Report},
 number       = {9145},
 institution  = {NICTA},
 url          = {http://arxiv.org/abs/1606.03663},
)
@inproceedings(ESOP16,
 author       = {E. Bres and R.J. van Glabbeek and P. H\"{o}fner},
 year         = {2016},
 title        = {A Timed Process Algebra for Wireless Networks with an Application in Routing (Extended Abstract)},
 editor       = {P. Thiemann},
 booktitle    = {Programming Languages and Systems \rm (ESOP'16)},
 series       = {{\rm LNCS}},
 volume       = {9632},
 publisher    = {Springer},
 pages        = {95--122},
 doi          = {10.1007/978-3-662-49498-1\_5},
)
@misc(rfc6130,
 author       = {T.H. Clausen and C. Dearlove and J. Dean},
 year         = {2011},
 title        = {Mobile Ad Hoc Network {(MANET)} Neighborhood Discovery Protocol {(NHDP)}},
 howpublished = {{RFC} 6130 (Proposed Standard)},
 doi          = {10.17487/RFC6130},
)
@misc(rfc7181,
 author       = {T.H. Clausen and C. Dearlove and P. Jacquet and U. Herberg},
 year         = {2014},
 title        = {The Optimized Link State Routing Protocol Version 2},
 howpublished = {{RFC} 7181 (Proposed Standard)},
 doi          = {10.17487/RFC7181},
)
@misc(rfc3626,
 author       = {T.H. Clausen and P. Jacquet},
 year         = {2003},
 title        = {Optimized Link State Routing Protocol {(OLSR)}},
 howpublished = {{RFC} 3626 (Experimental)},
 doi          = {10.17487/RFC3626},
)
@inproceedings(DHW20,
 author       = {J. Drury and P. H\"{o}fner and W. Wang},
 year         = {2020},
 title        = {Formal Models of the OSPF Routing Protocol},
 editor       = {A. Fehnker and H. Garavel},
 booktitle    = {Models for Formal Analysis of Real Systems ({\rm MARS'20})},
 series       = {this volume of EPTCS},
 publisher    = {Open Publishing Association},
)
@conference(TACAS12,
 author       = {A. Fehnker and R. J. van Glabbeek and P H{\"o}fner and A. K. McIver and M. Portmann and W. L. Tan},
 year         = {2012},
 title        = {Automated Analysis of {AODV} using {UPPAAL}},
 editor       = {C. Flanagan and B. K{\"onig}},
 booktitle    = {Tools and Algorithms for the Construction and Analysis of Systems {\rm (TACAS'12)}},
 series       = {{\rm LNCS}},
 volume       = {7214},
 publisher    = {Springer},
 pages        = {173--187},
 doi          = {10.1007/978-3-642-28756-5\_13},
)
@inproceedings(ESOP12,
 author       = {A. Fehnker and R.J. van Glabbeek and P. H{\"o}fner and A.K. McIver and M. Portmann and W.L. Tan},
 year         = {2012},
 title        = {A Process Algebra for Wireless Mesh Networks},
 editor       = {H. Seidl},
 booktitle    = {Programming Languages and Systems {\rm (ESOP '12)}},
 series       = {{\rm LNCS}},
 volume       = {7211},
 publisher    = {Springer},
 pages        = {295--315},
 doi          = {10.1007/978-3-642-28869-2\_15},
)
@techreport(TR13,
 author       = {A. Fehnker and R.J. van Glabbeek and P. H\"ofner and A.K. McIver and M. Portmann and W.L. Tan},
 year         = {2013},
 title        = {A Process Algebra for Wireless Mesh Networks used for Modelling, Verifying and Analysing {AODV}},
 type         = {Technical Report},
 number       = {5513},
 institution  = {NICTA},
 url          = {http://arxiv.org/abs/1312.7645},
)
@inproceedings(GHW18,
 author       = {R. J. van Glabbeek and P. H\"ofner and D. van der Wal},
 year         = {2018},
 title        = {Analysing AWN-Specifications Using mCRL2 (Extended Abstract)},
 editor       = {C. A. Furia and K. Winter},
 booktitle    = {Integrated Formal Methods {\rm (iFM'18)}},
 series       = {{\rm LNCS}},
 volume       = {11023},
 publisher    = {Springer},
 pages        = {398--418},
 doi          = {10.1007/978-3-319-98938-9\_23},
)
@article(DIST16,
 author       = {R.J. van Glabbeek and P. H{\"o}fner and M. Portmann and W.L. Tan},
 year         = {2016},
 title        = {Modelling and Verifying the {AODV} Routing Protocol},
 journal      = {Distributed Computing},
 volume       = {29},
 number       = {4},
 pages        = {279--315},
 doi          = {10.1007/s00446-015-0262-7},
)
@inproceedings(GHTP13,
 author       = {R.J. van Glabbeek and P. H{\"o}fner and W.L. Tan and M. Portmann},
 year         = {2013},
 title        = {Sequence Numbers Do Not Guarantee Loop Freedom ---AODV Can Yield Routing Loops---},
 booktitle    = {Modeling, Analysis and Simulation of Wireless and Mobile Systems {\rm (MSWiM'13)}},
 publisher    = {ACM},
 pages        = {91--100},
 doi          = {10.1145/2507924.2507943},
)
@misc(IEEE80211,
 author       = {{ISO/IEC/IEEE 8802-11}},
 year         = {2018},
 title        = {Information Technology --- Telecommunications and information exchange between systems --- Local and metropolitan area networks --- Specific requirements --- Part 11: Wireless {LAN} Medium Access Control {(MAC)} and Physical Layer {(PHY)} specifications},
 url          = {https://www.iso.org/standard/73367.html},
)
@inproceedings(KHKP15,
 author       = {M. Kamali and P. H{\"{o}}fner and M. Kamali and L. Petre},
 year         = {2015},
 title        = {Formal Analysis of Proactive, Distributed Routing},
 editor       = {R. Calinescu and B. Rumpe},
 booktitle    = {Software Engineering and Formal Methods \rm (SEFM'15)},
 series       = {{\rm LNCS}},
 volume       = {9276},
 publisher    = {Springer},
 pages        = {175--189},
 doi          = {10.1007/978-3-319-22969-0\_13},
)
@inproceedings(KP16,
 author       = {M. Kamali and L. Petre},
 year         = {2016},
 title        = {Modelling Link State Routing in Event-B},
 editor       = {H. Wang and M. Mokhtari},
 booktitle    = {International Conference on Engineering of Complex Computer Systems \rm (ICECCS'16)},
 publisher    = {{IEEE} Computer Society},
 pages        = {207--210},
 doi          = {10.1109/ICECCS.2016.035},
)
@misc(rfc3561,
 author       = {C. E. Perkins and Belding-Royer, E. M. and S. Das},
 year         = {2003},
 title        = {Ad hoc On-Demand Distance Vector {(AODV)} Routing},
 howpublished = {RFC 3561 (Experimental), Network Working Group},
 url          = {http://www.ietf.org/rfc/rfc3561.txt},
)
@misc(OONF,
 author       = {H. Rogge},
 year         = {2018},
 title        = {{OLSR.org Network Framework - olsrd v2 / DLEP}},
 howpublished = {\url{https://github.com/OLSR/OONF}},
)
@inproceedings(SA12,
 author       = {M.F. Steele and T.R. Andel},
 year         = {2012},
 title        = {Modeling the optimized link-state routing protocol for verification},
 editor       = {G.A. Wainer and P.J. Mosterman},
 booktitle    = {Theory of Modeling and Simulation \rm (TMS/DEVS'12)},
 volume       = {35},
 publisher    = {{SCS/ACM}},
 url          = {http://dl.acm.org/citation.cfm?id=2346651},
)