Introduction: Temporal model      

  Def: a set of temporal abstractions;

  Example:

   ( <, =, > )

   < : before;

   = : simultaneous;

   > : after;