Towards a rigorous analysis of AODVv2 (DYMO) | IEEE Conference Publication | IEEE Xplore