Design Automation Of Real-Life Asynchronous Devices And Systems by Luciano Lavagno, Alexander Taubin & Jordi Cortadella