Ad Hoc Network Applications: Specification, Design and Verification in Mob-adtl