Ad Hoc Network Applications: Specification, Design, and Verification in Mob_adtl