Figure 7From: Clock refinement in imperative synchronous languagesGuarded actions of program GCD2.Back to article page