MARTE12_ — TIME model overview: consistency of bullet descriptions

problem:
In section Overview of the time model chapter, there are three bullets to describe the time. In these bullet titles, the slash ('/') character has different meaning:

• Causal/temporal --> it should be understood as causal vs temporal
• Clocked/synchronous --> it should be understood as Clocked or synchronous
• Physical/real-time --> it should be understood as Physical or real-time

proposed resolution:

the bullet should be renamed with:

• Causal (untimed):
• Synchronous (partially timed):
• Physical (real-time):

additionally, to keep consistency, the last sentence of the last bullet should be rephrased, for instance with :
"Physical time models refine the partially timed models by adding reference(s) to one or more physical dimensions, for instance to derive the admissible speed of a reaction."

Update the paragraph in question according to the proposed resolution.

the bullet should be renamed with:

• Causal (untimed):
• Synchronous (partially timed):
• Physical (real-time):
  additionally, to keep consistency, the last sentence of the last bullet should be rephrased, for instance with : "Physical time models refine the partially timed models by adding reference(s) to one or more physical dimensions, for instance to derive the admissible speed of a reaction."