Return to Article Details
Modeling and specification of distributed timed systems