This timing additions to a language is also at the core of imperative synchronous programming languages like Este rel, Céu or Blech.