Fernando Herrera Eugenio Villar A framework for embedded system specification under different models of computation in SystemC. 911-914 2006 conf/dac/2006 DAC http://doi.acm.org/10.1145/1146909.1147140 db/conf/dac/dac2006.html#HerreraV06