A framework for embedded system specification under different models of computation in SystemC. - Herrera, Fernando; Villar, Eugenio (2006)