Reactive systems, i.e. those in constant interaction with their environments, are often distributed entailing concurrency. Real time is a continuous quantity used to model timing constraints of reactive systems. Developing ...