L. Cai, M. Olivarez, P. Kritzinger, and D. D. Gajski, “C/C++ Based System Design Flow Using SpecC, VCC, and SystemC,” System Specification and Design Languages, edited by E Villar, Kluwer Academic Publishers, Boston, 2003.