Tarvo Raudvere Ingo Sander Axel Jantsch A synchronization algorithm for local temporal refinements in perfectly synchronous models with nested feedback loops. 353-358 2007 conf/glvlsi/2007 ACM Great Lakes Symposium on VLSI http://doi.acm.org/10.1145/1228784.1228869 db/conf/glvlsi/glvlsi2007.html#RaudvereSJ07