Computer Aided Design and Design Automation - Wai-Kai Chen (Taylor and Francis, 2009)