Compilation of imperative synchronous programs with refined clocks | IEEE Conference Publication | IEEE Xplore