Mario R. Casu: Improving Synchronous Elastic Circuits: Token Cages and Half-Buffer Retiming. ASYNC 2010: 128-137