@article(bulychev2012uppaal,
 author       = {Peter Bulychev and Alexandre David and Kim Gulstrand Larsen and Miku{\v{c}}ionis, Marius and Danny B{\o}gsted Poulsen and Axel Legay and Zheng Wang},
 year         = {2012},
 title        = {UPPAAL-SMC: Statistical model checking for priced timed automata},
 journal      = {arXiv preprint arXiv:1207.1272},
 doi          = {10.4204/EPTCS.85.1},
)
@phdthesis(cignoimproving,
 author       = {Renato Cigno and Daniele Furlan},
 title        = {Improving BATMAN Routing Stability and Performance},
 school       = {PhD thesis, University of Trento, 2011.},
)
@article(OLSR,
 author       = {T. Clausen and Jacquet P.},
 title        = {{Optimized Link State Routing Protocol (OLSR), Network Working Group}},
 url          = {http://www.tools.ietf.org/html/rfc3626},
 note         = {Accessed:2015-06-08},
)
@inproceedings(fehnker2013topology,
 author       = {Ansgar Fehnker and Peter H{\"o}fner and Maryam Kamali and Vinay Mehta},
 year         = {2013},
 title        = {Topology-based mobility models for wireless networks},
 booktitle    = {International Conference on Quantitative Evaluation of Systems},
 organization = {Springer},
 pages        = {389--404},
 doi          = {10.1007/978-3-642-40196-1_32},
)
@inproceedings(fehnker2012automated,
 author       = {Ansgar Fehnker and Van Glabbeek, Rob and Peter H{\"o}fner and Annabelle McIver and Marius Portmann and Wee Lum Tan},
 year         = {2012},
 title        = {Automated analysis of AODV using UPPAAL},
 booktitle    = {International Conference on Tools and Algorithms for the Construction and Analysis of Systems},
 organization = {Springer},
 pages        = {173--187},
 doi          = {10.1007/978-3-642-28756-5_13},
)
@article(furlan2011analysis,
 author       = {Daniele Furlan},
 year         = {2011},
 title        = {Analysis of the overhead of BATMAN routing protocol in regular torus topologies},
 journal      = {University of Trento, Italy, Tech. Rep},
 url          = {https://downloads.open-mesh.org/batman/papers/OGMoverhead.pdf},
)
@phdthesis(paderborn,
 author       = {Tobias Hardes},
 year         = {2015},
 title        = {{Performance Analysis and Simulation of a Freifunk Mesh Network in Paderborn using B.A.T.M.A.N Advanced}},
 type         = {Master's thesis},
 school       = {University of Paderborn},
 url          = {http://thardes.de/wp-content/uploads/2016/03/thesis.pdf},
)
@misc(Huhtonen04comparingaodv,
 author       = {Aleksandr Huhtonen},
 year         = {2004},
 title        = {Comparing AODV and OLSR Routing Protocols},
 url          = {http://www.tml.tkk.fi/Studies/T-110.551/2004/papers/Huhtonen.pdf},
)
@inproceedings(Kamali2015,
 author       = {Mojgan Kamali and Peter H{\"o}fner and Maryam Kamali and Luigia Petre},
 year         = {2015},
 title        = {Formal Analysis of Proactive, Distributed Routing},
 booktitle    = {Software Engineering and Formal Methods: 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings},
 publisher    = {Springer},
 pages        = {175--189},
 doi          = {10.1007/978-3-319-22969-0_13},
)
@article(stairs,
 author       = {Elis Kulla and Masahiro Hiyama and Makoto Ikeda and Leonard Barolli},
 year         = {2012},
 title        = {Performance Comparison of OLSR and BATMAN Routing Protocols by a MANET Testbed in Stairs Environment},
 journal      = {Comput. Math. Appl.},
 volume       = {63},
 number       = {2},
 pages        = {339--349},
 doi          = {10.1016/j.camwa.2011.07.035},
)
@misc(batman4omnet,
 author       = {Marinis Artelaris, Spyridon},
 year         = {2016},
 title        = {Performance evaluation of routing protocols for Wireless Mesh Networks},
 url          = {http://lnu.diva-portal.org/smash/get/diva2:903013/FULLTEXT01.pdf},
)
@article(BatmanRFC,
 author       = {Axel Neumann and Corinna Aichele and Marek Lindner and Simon Wunderlich},
 year         = {2008},
 title        = {Better approach to mobile ad-hoc networking (BATMAN)},
 journal      = {IETF draft},
 pages        = {1--24},
 url          = {https://tools.ietf.org/html/draft-wunderlich-openmesh-manet-routing-00},
)
@inproceedings(van2013sequence,
 author       = {Van Glabbeek, Rob and Peter H{\"o}fner and Wee Lum Tan and Marius Portmann},
 year         = {2013},
 title        = {Sequence numbers do not guarantee loop freedom: AODV can yield routing loops},
 booktitle    = {Proceedings of the 16th ACM international conference on Modeling, analysis \& simulation of wireless and mobile systems},
 organization = {ACM},
 pages        = {91--100},
 doi          = {10.1145/2507924.2507943},
)
@inproceedings(hallway,
 author       = {J. C. P. Wang and B. Hagelstein and M. Abolhasan},
 year         = {2010},
 title        = {Experimental evaluation of IEEE 802.11s path selection protocols in a mesh testbed},
 booktitle    = {2010 4th International Conference on Signal Processing and Communication Systems},
 pages        = {1--3},
 doi          = {10.1109/ICSPCS.2010.5709664},
)
@inproceedings(wibling2004automatized,
 author       = {Oskar Wibling and Joachim Parrow and Arnold Pears},
 year         = {2004},
 title        = {Automatized verification of ad hoc routing protocols},
 booktitle    = {International Conference on Formal Techniques for Networked and Distributed Systems},
 organization = {Springer},
 pages        = {343--358},
 doi          = {10.1007/978-3-540-30232-2_22},
)