Causality analysis of synchronous programs with refined clocks | IEEE Conference Publication | IEEE Xplore