Figure 8From: Clock refinement in imperative synchronous languages Transition rules I (basic statements). Back to article page