Topology-Based Mobility Models for Wireless Networks. - Ansgar Fehnker; Peter Höfner; Maryam Kamali; Vinay Mehta (QEST, 2013)

Modelling, Verification, and Comparative Performance Analysis of the B.A.T.M.A.N. Protocol. - Kaylash Chaudhary; Ansgar Fehnker; Vinay Mehta (MARS@ETAPS, 2017)

An Even Better Approach - Improving the B.A.T.M.A.N. Protocol Through Formal Modelling and Analysis. - Ansgar Fehnker; Kaylash Chaudhary; Vinay Mehta (NFM, 2018)