Formal Description and Complexity Analysis of Routing in Mobile Ad Hoc System | IEEE Conference Publication | IEEE Xplore