• D. D. Gajski, S. Abdi, A. Gerstlauer, and G. Schirner, Embedded System Design: Modeling, Synthesis, Verification, Springer, , July 2009. • A. Gerstlauer, R. Doemer, J. Peng, D. D. Gajski, System Design: A Practical Guide with SpecC, Kluwer Academic Publishers, Boston, MA, , June 2001. • D. D. Gajski, J. Zhu, R. Doemer, A. Gerstlauer, S. Zhao, SpecC: Specification Language and Methodology, Japanese Edition, CQ Publishing, Japan, , December 2000, 328 pages. • D. D. Gajski, J. Zhu, R. Doemer, A. Gerstlauer, S. Zhao, SpecC: Specification Language and Methodology,
Kluwer Academic Publishers, Boston, MA, , March 2000, 336 pages. • D. D. Gajski, Principles of Digital Design,
Prentice Hall, Upper Saddle River, NJ, , September 1996, 450 pages. ==See also==