Synthesis Using Path-Based scheduling: algorithms and Exercises. - Raul Compasano; Reinaldo A. Bergamaschi (DAC, 1990)