Mike Gemünde, Jens Brandt, Klaus Schneider. Causality analysis of synchronous programs with refined clocks. In Zeljko Zilic, Sandeep K. Shukla, editors, 2011 IEEE International High Level Design Validation and Test Workshop, HLDVT 2011, Napa Valley, CA, USA, November 9-11, 2011. pages 25-32, IEEE, 2011. [doi]
Abstract is missing.