Return to Article Details Modeling and specification of distributed timed systems