Figure 5From: Clock refinement in imperative synchronous languages Clock tree of program. Back to article page