Email Post: Modeling and specification of distributed timed systems