Figure 10From: Clock refinement in imperative synchronous languages Transition rules III (strong abortion). Back to article page