On the Verification of Timed Ad Hoc Networks