Figure 6From: Clock refinement in imperative synchronous languages Comparison of the step and instant view. Back to article page