NOTE: Due to copyright issues we are not able to provide any downloads for most of the Cadlab book publications.

• Andreas Gerstlauer, Haobo Yu, Daniel D. Gajski, "RTOS Modeling for System-Level Design," in Design, Automation, and Test in Europe: The Most Influential Papers of 10 Years DATE, edited by Rudy Lauwereins and Jan Madsen, Springer Science+Business Media, New York, NY, ISBN 978-1-4020-6487-6, March 2008.
• Gunar Schirner, Gautam Sachdeva, Andreas Gerstlauer, Rainer Dömer "Embedded Software Development in a System-Level Design Flow," in Embedded System Design: Topics, Techniques and Trends, edited by Achim Rettberg, Mauro Zanella, Rainer Dömer, Andreas Gerstlauer, Franz Rammig, Springer Science+Business Media, New York, NY, ISBN 978-0-387-72257-3, June 2007.
• Dongwan Shin, Andreas Gerstlauer, Rainer Dömer, Daniel D. Gajski, "An Interactive Design Environment for C-based High-Level Synthesis," in Embedded System Design: Topics, Techniques and Trends, edited by Achim Rettberg, Mauro Zanella, Rainer Dömer, Andreas Gerstlauer, Franz Rammig, Springer Science+Business Media, New York, NY, ISBN 978-0-387-72257-3, June 2007.
• Dongwan Shin, Andreas Gerstlauer, Rainer Dömer, Daniel D. Gajski, "Automatic Generation of Communication Architectures," in From Specification to Embedded Systems Application, edited by Achim Rettberg, Mauro C. Zanella, Franz Rammig, Springer Science+Business Media, New York, NY, ISBN 0-387-27557-6, September 2005.
• Andreas Gerstlauer, Haobo Yu, Daniel D. Gajski, "RTOS Modeling for System-Level Design," in Embedded Software for SoC, edited by Ahmed A. Jerraya, Sungjoo Yoo, Norbert When, Diederik Verkest, Kluwer Academic Publishers, Boston, MA, ISBN 1-4020-7528-6, June 2003.
• A. Rettberg, F. Rammig, A. Gerstlauer, D. Gajski, W. Hardt, B. Kleinjohann, "The Specification Language SpecC within the PARADISE Design Environment," in Architecture and Design of Distributed Embedded Systems, edited by Bernd Kleinjohann, Kluwer Academic Publishers, Boston, MA, ISBN 0-7923-7345-6, April 2001.
• Daniel D. Gajski, Rainer Dömer, Jianwen Zhu, "IP-centric Methodology and Specification Language," in Distributed and Parallel Embedded Systems, edited by Franz J. Rammig, Kluwer Academic Publishers, Boston, MA, ISBN 0-7923-8614-0, September 1999.
• Daniel D. Gajski, Rainer Dömer, Jianwen Zhu, "IP-centric Methodology and Design with the SpecC Language," Chapter 10 in System-Level Synthesis, Proceedings of the NATO ASI on System Level Sythesis for Electronic Design, Il Ciocco, Lucca, Italy, Aug. 1998, edited by Ahmed A. Jerraya, Jean P. Mermet, Kluwer Academic Publishers, Dordrecht, ISBN 0-7923-5749-3, May 1999.
• Daniel D. Gajski, Jianwen Zhu, Rainer Dömer, "Essential Issues in Codesign," Chapter 1 in Hardware/Software Co-Design: Principles and Practice, edited by Jørgen Staunstrup and Wayne Wolf, Kluwer Academic Publishers, Boston, MA, ISBN 0-7923-8013-4, October 1997.
• Forest Brewer, Daniel D. Gajski, "A Design Process Model," in Artificial Intelligence in Engineering Design, edited by C. Tong and D. Sriram, Academic Press, 1992, pp 357-394.
• Daniel D. Gajski, "Essential Issues and Possible Solutions in High-Level Synthesis," in High-Level VLSI Synthesis, edited by R. Composano and W. Wolf, Kluwer Academic Publishers, ISBN 0-7923-9159-4, 1991, pp. 1-26.

• A. Gerstlauer, R. Dömer, J. Peng, D. D. Gajski, System Design: A Practical Guide with SpecC, Kluwer Academic Publishers, Boston, MA, ISBN 0-7923-7387-1, June 2001.
• D. D. Gajski, J. Zhu, R. Dömer, A. Gerstlauer, S. Zhao, SpecC: Specification Language and Methodology, Japanese Edition, CQ Publishing, Japan, ISBN 4-7898-3353-4, December 2000, 328 pages.
• D. D. Gajski, J. Zhu, R. Dömer, A. Gerstlauer, S. Zhao, SpecC: Specification Language and Methodology, Kluwer Academic Publishers, Boston, MA, ISBN 0-7923-7822-9, March 2000, 336 pages.
• D. D. Gajski, Principles of Digital Design, Prentice Hall, Upper Saddle River, NJ, 1997, 450 pages.
• D. D. Gajski, F. Vahid, S. Narayan, J. Gong, Specification and Design of Embedded Systems, Prentice Hall, Englewood Cliffs, NJ, 1994, 450 pages. [Transparencies/Slides]
• D. D. Gajski, N. D. Dutt, Allen C-H. Wu, Steve Y-L. Lin, High-Level Synthesis: Introduction to Chip and System Design, Kluwer Academic Publishers, Boston, MA, ISBN 0-7923-9194-2, 1992, 359 pages. [Transparencies/Slides and Errata]
• D. D. Gajski, editor, Silicon Compilation, Addison-Wesley, 1988.