A timed calculus for wireless systems