System design with SystemC (Kluwer Acad. Publ., 2002)