Roychowdhury, RY Zhang, JK White, IL Markov, Hu, MC Kim, Murgai, et al. 2015. “Design Automation of Electronic Systems: Past Accomplishments and Challenges Ahead”. Proceedings of the IEEE 103 (11).