Alexander Taubin Jordi Cortadella Luciano Lavagno Alex Kondratyev Ad M. G. Peeters Design Automation of Real-Life Asynchronous Devices and Systems. 1-133 2007 2 Foundations and Trends in Electronic Design Automation 1 http://dx.doi.org/10.1561/1000000006 db/journals/fteda/fteda2.html#TaubinCLLKP07