SystemC methodologies and applications (Kluwer Academic, 2003)