B. Lasbouygues S. Engels Robin Wilson Philippe Maurine Nadine Azémard Daniel Auvergne Logical effort model extension to propagation delay representation. 1677-1684 2006 25 IEEE Trans. on CAD of Integrated Circuits and Systems 9 http://doi.ieeecomputersociety.org/10.1109/TCAD.2005.857400 db/journals/tcad/tcad25.html#LasbouyguesEWMAA06