David C. Ku, Dave Filo, Giovanni De Micheli: Control Optimization Based on Resynchronization of Operations. DAC 1991: 366-371