Challenges in the verification of mobile ad-hoc networking systems | IEEE Conference Publication | IEEE Xplore