Figure 11From: Clock refinement in imperative synchronous languages Transition rules IV (strong suspension). Back to article page